aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_prag.adb
AgeCommit message (Expand)AuthorFilesLines
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-2/+16
2022-07-05[Ada] Reuse Get_Pragma_Arg to handle pragma argument associationsPiotr Trojanek1-5/+3
2022-05-18[Ada] Rework optimization skipping pragma check in object declarationMarc Poulhiès1-1/+1
2022-05-17[Ada] Enable current value propagation within pragma expressionsPiotr Trojanek1-7/+1
2022-05-12[Ada] Make debug printouts more robustBob Duff1-2/+2
2022-05-10[Ada] Cleanup detection of No_Elist with No and PresentPiotr Trojanek1-1/+1
2022-05-10[Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_VariantClaire Dross1-9/+16
2022-05-10[Ada] Simplify conversion from Character to Char_CodePiotr Trojanek1-1/+1
2022-05-09[Ada] Allow Big_Integer in loop and subprogram variantsPiotr Trojanek1-0/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-10[Ada] Disable expansion of pragma Loop_Variant in CodePeer modePiotr Trojanek1-1/+4
2022-01-07[Ada] Fix a couple of issues with pragma Inspection_PointEric Botcazou1-23/+26
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-2/+2
2021-09-22[Ada] Reuse routines for detecting attributes Old and ResultPiotr Trojanek1-3/+1
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-6/+6
2021-07-08[Ada] Fix use of single question mark in error messageGhjuvan Lacambre1-1/+1
2021-07-08[Ada] Prevent crash on inspection point for unfrozen entityGhjuvan Lacambre1-0/+31
2021-05-07[Ada] Minor reformattingsBob Duff1-35/+35
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-2/+2
2021-05-07[Ada] Fix type mismatch warnings during LTO bootstrap #4Eric Botcazou1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-06[Ada] Fix typosArnaud Charlet1-1/+1
2021-05-04[Ada] Reuse Is_Formal_Object where convenientPiotr Trojanek1-2/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Code and style cleanups for CUDAPiotr Trojanek1-17/+16
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-0/+6
2020-11-25[Ada] Fix couple of minor issues with local exception propagationEric Botcazou1-3/+14
2020-10-27[Ada] CUDA: handle parameter associations in expansion of CUDA_ExecuteGhjuvan Lacambre1-2/+9
2020-10-23[Ada] CUDA: fix CUDA_Execute not working with aggregatesGhjuvan Lacambre1-4/+21
2020-10-23[Ada] CUDA: Use internal types instead of public onesGhjuvan Lacambre1-55/+117
2020-10-22[Ada] CUDA: discover runtime types instead of hard-codingGhjuvan Lacambre1-2/+21
2020-10-22[Ada] Refactor appending to possibly empty listsPiotr Trojanek1-15/+3
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird1-28/+79
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-29/+334
2020-10-16[Ada] Implement expansion of CUDA_Execute pragmaGhjuvan Lacambre1-0/+473
2020-07-27[Ada] Refactor pragma argument gettersGhjuvan Lacambre1-81/+33
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Suppress call to Initial_Condition when the annotation is ignoredHristian Kirtchev1-1/+7
2018-11-14[Ada] Lingering loop for ignored Ghost assignmentHristian Kirtchev1-2/+2
2018-06-11[Ada] Suppress the expansion of ignored assertion pragmasHristian Kirtchev1-4/+18
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-47/+253
2017-09-08[multiple changes]Arnaud Charlet1-14/+19
2017-09-08[multiple changes]Arnaud Charlet1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-0/+88
2017-04-28[multiple changes]Arnaud Charlet1-1/+1
generated by cgit v1.1 at 2024-06-30 18:29:07 +0000