aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat1drv.adb
AgeCommit message (Expand)AuthorFilesLines
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre1-1/+0
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-76/+12
2024-06-20ada: Add Dump_Buffers hooks for code coverageRonan Desplanques1-0/+7
2024-06-13ada: Remove -gnatdJ switchViljar Indus1-7/+0
2024-06-10ada: Add switch to disable expansion of assertions in CodePeer modePiotr Trojanek1-2/+6
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-06-27ada: Fix double finalization of case expression in concatenationEric Botcazou1-21/+0
2023-05-16ada: Missing dependency with -gnatcArnaud Charlet1-11/+11
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-21ada: Move warnings switchesBob Duff1-3/+4
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
generated by cgit v1.1 at 2025-01-14 16:33:36 +0000