aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch5.adb
AgeCommit message (Expand)AuthorFilesLines
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
2021-07-08[Ada] Tune detection of illegal occurrences of target_namePiotr Trojanek1-17/+33
2021-07-08[Ada] Diagnose properly illegal uses of Target_NameEd Schonberg1-0/+40
2021-07-08[Ada] AI12-0156 Use subtype indication in generalized iteratorsArnaud Charlet1-13/+70
2021-07-06[Ada] Implement missing constraint checks for default streaming operationsSteve Baird1-1/+87
2021-07-06[Ada] Warn on statically known empty loop caused by constraintGhjuvan Lacambre1-0/+26
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+12
2021-06-18[Ada] Update comments related to TBDArnaud Charlet1-1/+0
2021-06-17[Ada] Casing on composite valuesSteve Baird1-0/+53
2021-06-17[Ada] Fix varsize node name conflictBob Duff1-2/+2
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-1/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-41/+41
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-12/+12
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+11
2021-05-05[Ada] Spurious warning on useless assignment with target nameEd Schonberg1-0/+7
2021-05-03[Ada] Reuse a wrapper for Resolve with implicit type where possiblePiotr Trojanek1-2/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Fix calls to Error_Msg_NE instead of Error_Msg_NPiotr Trojanek1-2/+2
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-2/+2
2021-04-28[Ada] Extend compile-time evaluation in case statements to all objectsPiotr Trojanek1-2/+2
2020-12-17[Ada] Prevent early exits without restoring a global variablePiotr Trojanek1-2/+3
generated by cgit v1.1 at 2024-09-27 18:31:32 +0000