aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat1drv.adb
AgeCommit message (Expand)AuthorFilesLines
2022-07-12[Ada] Ignore switches for controlling frontend warnings in GNATprove modeYannick Moy1-2/+6
2022-05-30[Ada] Introduce Opt.CCG_ModeArnaud Charlet1-0/+1
2022-05-19[Ada] Remove remaining references to gnatfind/gnatxrefArnaud Charlet1-1/+1
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-0/+7
2022-05-12[Ada] Skip postponed validation checks with compilation errorsPiotr Trojanek1-1/+0
2022-05-12[Ada] Remove front-end SJLJ processingArnaud Charlet1-22/+5
2022-04-27[Ada] Revert r12-6599 (Fix up handling of ghost units [PR104027])Pierre-Marie de Rodat1-5/+0
2022-01-31[Ada] Fix up handling of ghost units PR104027 #2Arnaud Charlet1-4/+12
2022-01-14ada: Fix up handling of ghost units [PR104027]Andrew Pinski1-0/+5
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-12-01[Ada] Create object file for ignored ghost compilation unitRichard Kenner1-5/+6
2021-10-01[Ada] Info. gathering in preparation for more efficiency improvementsBob Duff1-0/+4
2021-09-20[Ada] Fix assertion in GNATprove_ModeBob Duff1-1/+8
2021-07-07[Ada] Simplify handling of Generate_Code flag for compilation unitsPiotr Trojanek1-23/+0
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre1-7/+0
2021-06-21[Ada] Make -gnatU and -gnatw.d the defaultGhjuvan Lacambre1-0/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-30/+30
2021-05-07[Ada] Variable-sized node typesBob Duff1-15/+3
2021-05-06[Ada] In CodePeer mode, use regular-exception handlingBoris Yakobowski1-6/+2
2021-05-05[Ada] Speed up enumeration'Value with perfect hash functionPiotr Trojanek1-0/+6
2021-05-04[Ada] Use error marker for messages in GNATprove modeYannick Moy1-0/+4
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-29[Ada] Fix internal consistency error with Duration and 32-bit target fileEric Botcazou1-0/+6
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-9/+0
2020-10-27[Ada] Remove Digits_From_Size and Width_From_SizeEric Botcazou1-2/+0
2020-10-27[Ada] New flag Transform_Function_ArrayArnaud Charlet1-6/+10
2020-10-23[Ada] Always enable the support for 128-bit integer types on 64-bit platformsEric Botcazou1-21/+12
2020-10-22[Ada] Enable the support of 128-bit integer types by defaultEric Botcazou1-22/+22
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-0/+27
2020-10-20[Ada] Flexible AST node structureBob Duff1-2/+9
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-8/+0
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-6/+5
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
generated by cgit v1.1 at 2024-07-19 10:18:38 +0000