aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_elab.adb
AgeCommit message (Expand)AuthorFilesLines
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
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-243/+283
2017-11-08[multiple changes]Pierre-Marie de Rodat1-304/+437
2017-10-20[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-10-20sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...Pierre-Marie de Rodat1-8/+28
2017-10-19[multiple changes]Pierre-Marie de Rodat1-15/+65
2017-10-14sem_elab.adb (In_Preelaborated_Context): A generic package subject to Remote_...Hristian Kirtchev1-1/+1
2017-10-14[multiple changes]Pierre-Marie de Rodat1-7/+21
2017-10-14[multiple changes]Pierre-Marie de Rodat1-201/+404
2017-10-14[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-1/+7
2017-10-09[multiple changes]Pierre-Marie de Rodat1-17/+47
2017-10-09[multiple changes]Pierre-Marie de Rodat1-3/+21
2017-10-09[multiple changes]Pierre-Marie de Rodat1-2836/+7133
2017-09-08[multiple changes]Arnaud Charlet1-4/+7
2017-09-07[multiple changes]Arnaud Charlet1-10/+12
2017-05-02[multiple changes]Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-5/+2
2017-04-27[multiple changes]Arnaud Charlet1-94/+113
2017-04-27[multiple changes]Arnaud Charlet1-1/+7
2017-04-27[multiple changes]Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-7/+20
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-4/+8
2017-04-25[multiple changes]Arnaud Charlet1-50/+57
2017-04-25[multiple changes]Arnaud Charlet1-50/+36
2017-01-19[multiple changes]Arnaud Charlet1-8/+25
2017-01-12Minor reformatting.Arnaud Charlet1-6/+6
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-3/+3
2017-01-09einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_Cond...Hristian Kirtchev1-1/+1
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-3/+3
2017-01-06[multiple changes]Arnaud Charlet1-4/+11
2016-10-12[multiple changes]Arnaud Charlet1-0/+8
2016-07-04[multiple changes]Arnaud Charlet1-1/+3
2016-07-04[multiple changes]Arnaud Charlet1-1/+2
2016-06-22[multiple changes]Arnaud Charlet1-1/+2
2016-06-16[multiple changes]Arnaud Charlet1-9/+8
2016-06-14[multiple changes]Arnaud Charlet1-5/+5
2016-06-14[multiple changes]Arnaud Charlet1-43/+75