aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo-utils.ads
AgeCommit message (Expand)AuthorFilesLines
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+1
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+1
2023-05-15ada: Fix comment related to inliningBob Duff1-3/+1
2023-05-15ada: Use Inline aspect instead of pragma in Einfo.UtilsBob Duff1-277/+155
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-07-04[Ada] Assertions in Einfo.UtilsBob Duff1-27/+30
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-2/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-05[Ada] Renamed_Entity should return Entity_IdBob Duff1-4/+4
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-14/+28
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-54/+42
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-1/+1
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-150/+107
2021-07-12[Ada] Clean up Uint fieldsBob Duff1-0/+7
2021-07-08[Ada] Remove Unknown_ functionsBob Duff1-24/+5
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-0/+10
2021-06-15[Ada] Variable-sized node types -- cleanupBob Duff1-21/+16
2021-05-10Add missing pragma Inline for classification attributesEric Botcazou1-75/+113
2021-05-07[Ada] Variable-sized node typesBob Duff1-0/+682