aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.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/+15
2017-12-15[multiple changes]Pierre-Marie de Rodat1-0/+7
2017-12-15einfo.ads: Comment fix.Pierre-Marie de Rodat1-7/+7
2017-12-05[multiple changes]Pierre-Marie de Rodat1-7/+34
2017-12-05[multiple changes]Pierre-Marie de Rodat1-56/+71
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-3/+7
2017-11-16[multiple changes]Pierre-Marie de Rodat1-27/+11
2017-11-09[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-7/+11
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+2
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-6/+19
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+8
2017-11-08[multiple changes]Pierre-Marie de Rodat1-0/+32
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat1-7/+5
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-0/+15
2017-10-20exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a component of an ...Pierre-Marie de Rodat1-3/+2
2017-10-09[multiple changes]Pierre-Marie de Rodat1-1/+9
2017-10-09[multiple changes]Pierre-Marie de Rodat1-38/+15
2017-10-09[multiple changes]Pierre-Marie de Rodat1-42/+73
2017-09-29[multiple changes]Pierre-Marie de Rodat1-1/+8
2017-09-25[multiple changes]Pierre-Marie de Rodat1-0/+12
2017-09-25[multiple changes]Pierre-Marie de Rodat1-13/+19
2017-09-25exp_imgv.adb (Expand_Image_Attribute): Disable the optimized expansion of use...Pierre-Marie de Rodat1-0/+9
2017-09-18[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-09-11[multiple changes]Arnaud Charlet1-1/+17
2017-09-08[multiple changes]Arnaud Charlet1-0/+1
2017-09-08[multiple changes]Arnaud Charlet1-2/+2
2017-09-08[multiple changes]Arnaud Charlet1-0/+9
2017-09-08[multiple changes]Arnaud Charlet1-0/+3
2017-09-06[multiple changes]Arnaud Charlet1-2/+2
2017-09-06[multiple changes]Arnaud Charlet1-13/+19
2017-09-06[multiple changes]Arnaud Charlet1-0/+7
2017-09-06[multiple changes]Arnaud Charlet1-3/+7
2017-09-06[multiple changes]Arnaud Charlet1-1/+4
2017-09-06[multiple changes]Arnaud Charlet1-1/+6
2017-05-02[multiple changes]Arnaud Charlet1-3/+8
2017-05-02[multiple changes]Arnaud Charlet1-3/+18
2017-04-28Minor reformatting.Arnaud Charlet1-8/+10
2017-04-28[multiple changes]Arnaud Charlet1-2/+45
2017-04-27[multiple changes]Arnaud Charlet1-4/+1
2017-04-27[multiple changes]Arnaud Charlet1-6/+0
2017-04-27[multiple changes]Arnaud Charlet1-2/+9
2017-04-27[multiple changes]Arnaud Charlet1-1/+2
2017-04-27[multiple changes]Arnaud Charlet1-14/+3
2017-04-27[multiple changes]Arnaud Charlet1-10/+17
2017-04-25[multiple changes]Arnaud Charlet1-0/+15
2017-04-25[multiple changes]Arnaud Charlet1-13/+33
2017-04-25[multiple changes]Arnaud Charlet1-4/+4
2017-04-25[multiple changes]Arnaud Charlet1-5/+5