aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat1drv.adb
AgeCommit message (Expand)AuthorFilesLines
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-15/+7
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-43/+10
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-10-10[Ada] Fix handling of -gnatceg on incomplete unitArnaud Charlet1-2/+16
2019-08-14[Ada] Defer processing of unknown CTW/E conditions to the back endBob Duff1-0/+2
2019-08-13[Ada] Do not set Back_End_Inlining in ASIS modeEric Botcazou1-0/+4
2019-07-11[Ada] Refactor ownership pointer checking in SPARK as a genericClaire Dross1-8/+0
2019-07-11[Ada] Minor reformattingHristian Kirtchev1-3/+4
2019-07-11[Ada] New Repinfo.Input unit to read back JSON representation info.Eric Botcazou1-1/+46
2019-07-09[Ada] Set Dynamic_Elaboration_Checks to True in CodePeer modeArnaud Charlet1-1/+6
2019-07-08[Ada] Suppress warnings on memory representation in CodePeer modeDaniel Mercier1-1/+17
2019-07-08[Ada] Code reorganizationJavier Miranda1-1/+2
2019-07-04[Ada] Clean up support for validity checks in the compilerEric Botcazou1-2/+1
2019-07-01[Ada] gprbuild fails to find ghost ALI filesBob Duff1-2/+6
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] gnatbind: ghost code with -gnatQBob Duff1-2/+3
2018-12-11[Ada] Minor reformattingHristian Kirtchev1-2/+3
2018-12-11[Ada] Better error message from GNATprove on illegal switchYannick Moy1-2/+15
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-1/+1
2018-09-26[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_FileArnaud Charlet1-0/+6
2018-07-17[Ada] Avoid confusing warning on exception propagation in GNATprove modeYannick Moy1-0/+6
2018-06-11[Ada] Minor tweaks for RepinfoEric Botcazou1-3/+5
2018-06-11[Ada] Do not query the representation information in CodePeer/GNATproveYannick Moy1-1/+8
2018-05-23[Ada] Minor reformattingsHristian Kirtchev1-2/+3
2018-05-23[Ada] Turn off length expansion in CodePeer modeDaniel Mercier1-0/+4
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11exp_util.adb (Remove_Side_Effects): No action done for functions returning cl...Javier Miranda1-0/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+7
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-2/+3
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-0/+8
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-09-29[multiple changes]Pierre-Marie de Rodat1-2/+7
2017-09-25[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-09-25[multiple changes]Pierre-Marie de Rodat1-29/+29
2017-09-12[multiple changes]Arnaud Charlet1-3/+7
2017-09-12[multiple changes]Arnaud Charlet1-4/+12
2017-09-11gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to Fa...Yannick Moy1-0/+2
2017-09-08[multiple changes]Arnaud Charlet1-0/+7
2017-09-08sem_ch3.adb, [...]: Remove references to Frontend_Layout_On_Target and remain...Arnaud Charlet1-15/+9
2017-09-08[multiple changes]Arnaud Charlet1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-3/+3
2017-09-07[multiple changes]Arnaud Charlet1-1/+5
2017-04-28exp_util.adb, [...]: Minor reformatting.Hristian Kirtchev1-21/+25
2017-04-27[multiple changes]Arnaud Charlet1-20/+23
2017-04-27[multiple changes]Arnaud Charlet1-0/+24
2017-04-27[multiple changes]Arnaud Charlet1-1/+17
generated by cgit v1.1 at 2024-10-28 11:24:25 +0000