aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_elab.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-68/+52
2024-05-21ada: Add elaboration switch tags to info messagesViljar Indus1-5/+8
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-06-20ada: Add the ability to add error codes to error messagesYannick Moy1-1/+2
2023-06-13ada: Skip elaboration checks for abstract subprograms on derived typesPiotr Trojanek1-1/+4
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Fix spurious error in checking of SPARK elaborationEric Botcazou1-1/+23
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-47/+2
2022-09-05[Ada] Fix detection of unused warning suppressionPiotr Trojanek1-2/+2
2022-09-05[Ada] Fix double identifiers in iterated component associationPiotr Trojanek1-1/+3
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-11/+9
2022-05-30[Ada] Fix -gnatw.f warnings not having the right insertion charactersGhjuvan Lacambre1-1/+1
2022-05-18[Ada] Spurious error on freezing of tagged types in SPARKYannick Moy1-1/+11
2022-05-17[Ada] Use Actions field of freeze nodes for subprogramsEric Botcazou1-1/+1
2022-01-11[Ada] Avoid redundant checks for empty listsPiotr Trojanek1-1/+1
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-5/+5
2021-12-01[Ada] Do not return freeze nodes for start of early call regionsEric Botcazou1-2/+24
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-4/+4
2021-10-11[Ada] Remove constant argumentsEtienne Servais1-56/+21
2021-10-01[Ada] No ABE check needed for an expression function call.Steve Baird1-0/+7
2021-09-22[Ada] Add Package_Body helper routine to be used in GNATprovePiotr Trojanek1-2/+2
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-6/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-39/+39
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-2/+2
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-29[Ada] Extend Find_Related_Context to deal with child instancesPiotr Trojanek1-1/+1
2020-12-16[Ada] Simplify membership tests with N_Subprogram_Call subtypePiotr Trojanek1-2/+2
2020-12-14[Ada] Additional fixes for Default_Initial_ConditionGary Dismukes1-4/+10
2020-10-20[Ada] New warning on not fully initialized box aggregateArnaud Charlet1-3/+4
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-161/+144
2020-07-15[Ada] Extend static functionsArnaud Charlet1-1/+1
2020-07-07[Ada] Spurious elaboration warnings with -gnatc and null proceduresArnaud Charlet1-5/+14
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+5
2020-06-12[Ada] Implement AI12-0175 Preelaborable packages with address clausesEric Botcazou1-19/+61
2020-06-12[Ada] Fix typos in commentsEric Botcazou1-12/+12
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-1/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-19/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-1/+1
2019-12-12[Ada] Fix repeated words and typos in doc and commentsPiotr Trojanek1-8/+8
2019-10-12re PR ada/91995 (gnat miscompilation and bootstrap failure on m68k-linux)Eric Botcazou1-3/+13
2019-08-20[Ada] Minor reformattingsGary Dismukes1-2/+2
2019-08-14[Ada] Fix failing assertions on SPARK elaborationYannick Moy1-2/+6
2019-07-09[Ada] Elaboration order v4.0 activationHristian Kirtchev1-16/+1
2019-07-05[Ada] Stabilization of Elaboration order v4.0Hristian Kirtchev1-14/+115
2019-07-05[Ada] Diagnostics in Elaboration order v4.0Hristian Kirtchev1-52/+120
generated by cgit v1.1 at 2024-07-18 21:53:22 +0000