aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch5.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-5/+31
2024-05-14ada: Follow up fixes for Put_Image/streaming regressionsSteve Baird1-0/+3
2024-05-14ada: Better error message for bad general case statementsSteve Baird1-0/+9
2024-05-13ada: Fix style in commentsPiotr Trojanek1-1/+1
2024-05-13ada: Enable casing on composite via -X0 instead of -XSteve Baird1-3/+3
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-30ada: Remove SPARK legality checksYannick Moy1-8/+0
2023-11-21ada: Compiler error reporting illegal prefix on legal loop iterator with "in"Gary Dismukes1-3/+20
2023-06-27ada: Fix too late finalization and secondary stack release in iterator loopsEric Botcazou1-5/+14
2023-06-15ada: Fix internal error on loop iterator filter with -gnatVaEric Botcazou1-4/+7
2023-06-13ada: Remove obsolete code in Analyze_AssignmentEric Botcazou1-155/+1
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-1/+2
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-4/+4
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+4
2023-05-16ada: Adjust semantics and implementation of storage modelsEric Botcazou1-3/+6
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Fix incorrect warning about unreferenced packed arraysBob Duff1-5/+8
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-2/+4
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-0/+1
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Clean up call to check if aspects are presentPiotr Trojanek1-1/+1
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-2/+1
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-3/+3
2022-09-26ada: Delay expansion of iterator specification in preanalysisPiotr Trojanek1-8/+3
2022-09-26ada: Delay expansion of iterated component associationPiotr Trojanek1-4/+5
2022-09-05[Ada] Cleanup analysis of iterator specificationsPiotr Trojanek1-5/+4
2022-09-05[Ada] Remove excessive guards against inserting empty lists of actionsPiotr Trojanek1-3/+1
2022-07-12[Ada] Refine heuristics for unreachable-code warningsBob Duff1-2/+26
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff1-21/+65
2022-07-12[Ada] Warn about unreachable code after calls with No_ReturnPiotr Trojanek1-6/+14
2022-07-05[Ada] Cleanup in error about unreachable codePiotr Trojanek1-2/+1
2022-07-05[Ada] Remove redundant guards in detection of unreachable codePiotr Trojanek1-3/+2
2022-07-05[Ada] Remove redundant guard for call to List_Length with a No_ListPiotr Trojanek1-5/+1
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-14/+10
2022-06-02[Ada] Issue errors on wrong context for ghost entitiesYannick Moy1-0/+7
2022-06-02[Ada] Removal of dead code Analyze_Label_EntityYannick Moy1-15/+0
2022-06-01[Ada] Add a comment about a finalization issueEric Botcazou1-0/+6
2022-05-30[Ada] Deconstruct deferred referencesPiotr Trojanek1-10/+1
2022-05-17[Ada] Fix insertion of declaration inside quantified expressionYannick Moy1-1/+1
2022-05-17[Ada] Remove superfluous call to Original_NodeEtienne Servais1-1/+1
2022-05-13[Ada] Handle IN iterator for class-wide derived object of iterator typeEd Schonberg1-1/+13
2022-05-13[Ada] Do not overwrite limited view of result typeEric Botcazou1-0/+1
2022-05-11[Ada] Reset Reachable field when mutating label into loop entityPiotr Trojanek1-0/+1
2022-05-11[Ada] Add guard for making only legal labels unreachablePiotr Trojanek1-1/+3
2022-05-10[Ada] Cleanup unnecessary declare block in Check_Unreachable_CodePiotr Trojanek1-102/+98
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-4/+4
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-0/+1
2021-10-01[Ada] Crash on improper use of GNAT attribute Type_KeyEd Schonberg1-0/+7
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+10
generated by cgit v1.1 at 2024-08-28 01:55:32 +0000