aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
AgeCommit message (Expand)AuthorFilesLines
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-3/+4
2023-06-13ada: Fix another case of missing Has_Private_View flagEric Botcazou1-1/+1
2023-06-13ada: Fix spurious error on call to function returning private in genericEric Botcazou1-56/+57
2023-05-29ada: Fix spurious error on nested instantiations with generic renamingEric Botcazou1-9/+18
2023-05-26ada: Fix internal error on Big_Integer conversion ghost instanceEric Botcazou1-12/+12
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou1-54/+60
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-1/+2
2023-05-23ada: Fix latent issue in support for protected entriesEric Botcazou1-26/+1
2023-05-22ada: Fix missing finalization in library-unit instance specEric Botcazou1-4/+6
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/+5
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-1/+1
2023-05-16ada: Trivial refactoring in Instantiate_*_BodyMarc Poulhiès1-10/+6
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Fix nested generic instantiationMarc Poulhiès1-0/+3
2023-01-05ada: Fix generic instantiation of sibling packageMarc Poulhiès1-2/+31
2022-11-21ada: Move warnings switchesBob Duff1-4/+4
2022-11-14ada: Adjust locations in aspects on generic formal subprogramsPiotr Trojanek1-0/+20
2022-11-14ada: Fix style in code for generic formal subprograms with contractsPiotr Trojanek1-9/+9
2022-11-14ada: Expand generic formal subprograms with contracts for GNATprovePiotr Trojanek1-1/+1
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
generated by cgit v1.1 at 2024-11-03 17:09:55 +0000