aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
AgeCommit message (Expand)AuthorFilesLines
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-1/+7
2018-05-21[Ada] Use type conversion when inlining may trigger a run-time checkYannick Moy1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-15types.ads, [...]: Partly revert r255414, committed by mistake.Bob Duff1-1/+1
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-1/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-3/+14
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+4
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-2/+6
2017-11-09[multiple changes]Pierre-Marie de Rodat1-11/+11
2017-10-14[multiple changes]Pierre-Marie de Rodat1-9/+19
2017-09-11gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to Fa...Yannick Moy1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-0/+4
2017-09-08[multiple changes]Arnaud Charlet1-0/+5
2017-09-06[multiple changes]Arnaud Charlet1-2/+14
2017-05-02[multiple changes]Arnaud Charlet1-6/+6
2017-05-02[multiple changes]Arnaud Charlet1-5/+8
2017-05-02[multiple changes]Arnaud Charlet1-4/+0
2017-05-02[multiple changes]Arnaud Charlet1-0/+4
2017-04-27[multiple changes]Arnaud Charlet1-1/+5
2017-04-25[multiple changes]Arnaud Charlet1-3/+6
2017-04-25[multiple changes]Arnaud Charlet1-6/+6
2017-04-25[multiple changes]Arnaud Charlet1-0/+5
2017-01-23[multiple changes]Arnaud Charlet1-1/+6
2017-01-12[multiple changes]Arnaud Charlet1-0/+4
2016-07-04[multiple changes]Arnaud Charlet1-12/+2
2016-05-02[multiple changes]Arnaud Charlet1-0/+5
2016-05-02[multiple changes]Arnaud Charlet1-1/+6
2016-04-18[multiple changes]Arnaud Charlet1-0/+6
2015-11-23opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL...Olivier Hainque1-9/+23
2015-11-12[multiple changes]Arnaud Charlet1-2/+2
2015-11-12switch-c.adb, [...]: Reserve -gnateg for generation of C headers.Arnaud Charlet1-1/+1
2015-11-12[multiple changes]Arnaud Charlet1-0/+1
2015-11-12[multiple changes]Arnaud Charlet1-5/+5
2015-11-12[multiple changes]Arnaud Charlet1-2/+3
2015-10-23[multiple changes]Arnaud Charlet1-1/+6
2015-10-16checks.adb: Fix typo.Arnaud Charlet1-9/+6
2015-10-16[multiple changes]Arnaud Charlet1-1/+1
2015-05-27[multiple changes]Arnaud Charlet1-1/+1
2015-05-22debug.adb: Update documentation.Robert Dewar1-0/+5
2015-03-02debug.adb: Document new debug flag -gnatd.1.Robert Dewar1-0/+4
2015-02-20g-allein.ads, [...]: Minor reformattingRobert Dewar1-2/+2
2015-02-20[multiple changes]Arnaud Charlet1-0/+6
2015-02-20[multiple changes]Arnaud Charlet1-4/+8
2015-02-20[multiple changes]Arnaud Charlet1-17/+17
2015-02-05opt.ads (Warn_On_Suspicious_Contract): Update comment describing use.Yannick Moy1-2/+4
2015-01-07[multiple changes]Arnaud Charlet1-0/+7
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+8
2014-11-28Update comments.Arnaud Charlet1-27/+21
2014-11-20[multiple changes]Arnaud Charlet1-1/+1
2014-10-30[multiple changes]Arnaud Charlet1-0/+11