aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Propagate aspect Ghost when instantiating null formal proceduresPiotr Trojanek1-0/+2
2022-11-08ada: Remove unneeded code in handling formal type defaultsPiotr Trojanek1-4/+2
2022-11-07ada: Clean up code for visibility of generic actualsPiotr Trojanek1-8/+6
2022-11-04ada: Remove redundant calls in handling of aspect specificationsPiotr Trojanek1-1/+0
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-1/+1
2022-09-26ada: Fix location of pragmas coming from aspects in top-level instancesPiotr Trojanek1-2/+5
2022-07-13[Ada] Fix CodePeer warnings in GNAT sourcesJustin Squirek1-1/+1
2022-07-12[Ada] Fix spurious warning on unreferenced internal generic instancePiotr Trojanek1-1/+0
2022-07-06[Ada] Support ghost generic formal parametersYannick Moy1-27/+86
2022-07-05[Ada] Remove unnecessary dead code after calls to nonreturning proceduresPiotr Trojanek1-1/+0
2022-05-18[Ada] Fix incorrect freezing with generic child unitMarc Poulhiès1-2/+2
2022-05-17[Ada] Allow inlining for proof inside genericsYannick Moy1-1/+4
2022-05-17[Ada] Fix bogus visibility error with partially parameterized formal packageEric Botcazou1-77/+157
2022-05-12[Ada] Fix warning about generic subprograms withed but not instantiatedPiotr Trojanek1-1/+1
2022-05-11[Ada] Fix style of body header boxesPiotr Trojanek1-3/+3
2022-05-10[Ada] Cleanup detection of No_Elist with No and PresentPiotr Trojanek1-1/+1
2022-05-09[Ada] Fix indentation of "Start of processing for ..." labelsPiotr Trojanek1-1/+1
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-2/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Remove unnecessary guards for appending non-empty listsPiotr Trojanek1-3/+1
2022-01-06[Ada] Fix regression in freezing code for instantiationsEric Botcazou1-11/+19
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-05[Ada] Remove redundant code related to instances with formal subprogramsPiotr Trojanek1-1/+0
2022-01-05[Ada] Deconstruct dead wrappers added for external axiomatizationPiotr Trojanek1-205/+0
2021-12-02[Ada] Enhance freezing code for instantiationsEric Botcazou1-118/+158
2021-12-01[Ada] Allow formal functions to have a default in the form of an expression f...Gary Dismukes1-2/+59
2021-12-01[Ada] Tidy up freezing code for instantiations (continued)Eric Botcazou1-266/+266
2021-12-01[Ada] Tidy up freezing code for instantiationsEric Botcazou1-134/+144
2021-12-01[Ada] Replace low-level detection of subprograms with high-level wrapperPiotr Trojanek1-1/+1
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-41/+42
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-1/+3
2021-10-20[Ada] Expose and use type-generic GCC atomic builtinsEric Botcazou1-5/+5
2021-09-23[Ada] Add N_Has_Bounds and N_Is_IndexRichard Kenner1-1/+1
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-2/+2
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-2/+2
2021-07-08[Ada] Simplify redundant checks for non-empty listsPiotr Trojanek1-1/+0
2021-07-07[Ada] Front-end inlining and instantiations of UCArnaud Charlet1-1/+8
2021-07-07[Ada] Fix location of errors about volatile compatibilityPiotr Trojanek1-1/+1
2021-06-29[Ada] Small tweak in a couple of commentsEric Botcazou1-2/+2
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-4/+7
2021-06-21[Ada] Implementation of AI12-205: defaults for formal typesEd Schonberg1-4/+448
2021-06-18[Ada] Reuse Package_Specification in Is_Incomplete_Or_Private_TypePiotr Trojanek1-2/+3
2021-06-17[Ada] Error in instance on incomplete actual passed to formal incomplete typeGary Dismukes1-2/+6
2021-06-17[Ada] Removal of technical debtJustin Squirek1-24/+30
2021-06-15[Ada] Variable-sized node types -- cleanupBob Duff1-2/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-10/+10
2021-05-07[Ada] Minor reformattingsBob Duff1-56/+56
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-32/+32
2021-05-07[Ada] Variable-sized node typesBob Duff1-50/+61
2021-05-05[Ada] Remove redundant checks for empty listsPiotr Trojanek1-10/+5
generated by cgit v1.1 at 2024-07-18 06:55:49 +0000