aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_elab.adb
AgeCommit message (Expand)AuthorFilesLines
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
2019-07-04[Ada] Management of internal data structures in Sem_ElabHristian Kirtchev1-36/+146
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev1-7663/+12020
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-31[Ada] Sem_Elab: remove duplicate conditionArnaud Charlet1-1/+0
2018-06-11[Ada] Performance degradation with referencesHristian Kirtchev1-156/+6
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-24[Ada] Simplify routines with a local Result variablePiotr Trojanek1-8/+4
2018-05-24[Ada] Quadratic compile time with tagged typesJustin Squirek1-77/+4
2018-05-24[Ada] Crash on compilation unit instanceHristian Kirtchev1-0/+44
2018-05-23[Ada] Fix various defects found by static analysisArnaud Charlet1-8/+8
2018-05-23[Ada] Suspension and elaboration warnings/checksHristian Kirtchev1-16/+125
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-11/+16
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-34/+177
2018-05-21[Ada] Spurious error on early call region of tagged typeHristian Kirtchev1-0/+7
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-43/+61
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev1-11/+1
2017-12-15exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne...Pierre-Marie de Rodat1-0/+10
2017-12-15exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi...Pierre-Marie de Rodat1-6/+88
2017-12-05[multiple changes]Pierre-Marie de Rodat1-2/+73
2017-12-05[multiple changes]Pierre-Marie de Rodat1-606/+4486
2017-11-16[multiple changes]Pierre-Marie de Rodat1-4/+4
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-41/+64
2017-11-16[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-11-16[multiple changes]Pierre-Marie de Rodat1-2/+19
2017-11-16[multiple changes]Pierre-Marie de Rodat1-7/+7
2017-11-16[multiple changes]Pierre-Marie de Rodat1-1240/+3413
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-78/+142
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat1-62/+160