summaryrefslogtreecommitdiff
path: root/gcc/ada/gnat1drv.adb
Commit message (Expand)AuthorAgeFilesLines
* [Ada] Remove unused subprograms in validswArnaud Charlet2020-12-171-9/+0
* [Ada] Remove Digits_From_Size and Width_From_SizeEric Botcazou2020-10-271-2/+0
* [Ada] New flag Transform_Function_ArrayArnaud Charlet2020-10-271-6/+10
* [Ada] Always enable the support for 128-bit integer types on 64-bit platformsEric Botcazou2020-10-231-21/+12
* [Ada] Enable the support of 128-bit integer types by defaultEric Botcazou2020-10-221-22/+22
* [Ada] Basic support for 128-bit typesEric Botcazou2020-10-211-0/+27
* [Ada] Flexible AST node structureBob Duff2020-10-201-2/+9
* [Ada] Remove support for -gnatP and pragma PollingArnaud Charlet2020-10-161-8/+0
* [Ada] Use membership tests in front-endArnaud Charlet2020-07-271-6/+5
* [Ada] Remove ASIS tree generationArnaud Charlet2020-06-031-15/+7
* [Ada] Remove ASIS_ModeArnaud Charlet2020-06-021-43/+10
* [Ada] Bump copyright yearArnaud Charlet2020-06-021-1/+1
* [Ada] Fix handling of -gnatceg on incomplete unitArnaud Charlet2019-10-101-2/+16
* [Ada] Defer processing of unknown CTW/E conditions to the back endBob Duff2019-08-141-0/+2
* [Ada] Do not set Back_End_Inlining in ASIS modeEric Botcazou2019-08-131-0/+4
* [Ada] Refactor ownership pointer checking in SPARK as a genericClaire Dross2019-07-111-8/+0
* [Ada] Minor reformattingHristian Kirtchev2019-07-111-3/+4
* [Ada] New Repinfo.Input unit to read back JSON representation info.Eric Botcazou2019-07-111-1/+46
* [Ada] Set Dynamic_Elaboration_Checks to True in CodePeer modeArnaud Charlet2019-07-091-1/+6
* [Ada] Suppress warnings on memory representation in CodePeer modeDaniel Mercier2019-07-081-1/+17
* [Ada] Code reorganizationJavier Miranda2019-07-081-1/+2
* [Ada] Clean up support for validity checks in the compilerEric Botcazou2019-07-041-2/+1
* [Ada] gprbuild fails to find ghost ALI filesBob Duff2019-07-011-2/+6
* [Ada] Bump copyright years to 2019Pierre-Marie de Rodat2019-01-081-1/+1
* [Ada] gnatbind: ghost code with -gnatQBob Duff2018-12-111-2/+3
* [Ada] Minor reformattingHristian Kirtchev2018-12-111-2/+3
* [Ada] Better error message from GNATprove on illegal switchYannick Moy2018-12-111-2/+15
* [Ada] Minor reformattingsHristian Kirtchev2018-09-261-1/+1
* [Ada] Introduce -gnatd_A to set Opt.Disable_ALI_FileArnaud Charlet2018-09-261-0/+6
* [Ada] Avoid confusing warning on exception propagation in GNATprove modeYannick Moy2018-07-171-0/+6
* [Ada] Minor tweaks for RepinfoEric Botcazou2018-06-111-3/+5
* [Ada] Do not query the representation information in CodePeer/GNATproveYannick Moy2018-06-111-1/+8
* [Ada] Minor reformattingsHristian Kirtchev2018-05-231-2/+3
* [Ada] Turn off length expansion in CodePeer modeDaniel Mercier2018-05-231-0/+4
* [Ada] Bump copyright notices to 2018Arnaud Charlet2018-01-111-1/+1
* exp_util.adb (Remove_Side_Effects): No action done for functions returning cl...Javier Miranda2018-01-111-0/+1
* [multiple changes]Pierre-Marie de Rodat2017-12-051-3/+3
* [multiple changes]Pierre-Marie de Rodat2017-12-051-0/+1
* [multiple changes]Pierre-Marie de Rodat2017-12-051-0/+7
* [multiple changes]Pierre-Marie de Rodat2017-11-091-1/+1
* exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat2017-11-091-2/+3
* gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat2017-11-091-0/+8
* [multiple changes]Pierre-Marie de Rodat2017-11-091-1/+1
* [multiple changes]Pierre-Marie de Rodat2017-10-091-0/+1
* [multiple changes]Pierre-Marie de Rodat2017-09-291-2/+7
* [multiple changes]Pierre-Marie de Rodat2017-09-251-2/+2
* [multiple changes]Pierre-Marie de Rodat2017-09-251-29/+29
* [multiple changes]Arnaud Charlet2017-09-121-3/+7
* [multiple changes]Arnaud Charlet2017-09-121-4/+12
* gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to Fa...Yannick Moy2017-09-111-0/+2
View Lorry Controller Status