aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo-utils.adb
AgeCommit message (Expand)AuthorFilesLines
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross1-0/+1
2024-12-13ada: Fix code indentationPiotr Trojanek1-5/+5
2024-08-02ada: Clean up handling of inlining of finalizer proceduresRichard Kenner1-9/+0
2024-06-21ada: Small cleanup in processing of primitive operationsEric Botcazou1-2/+2
2024-06-21ada: Generic formal/actual matching -- misc cleanupBob Duff1-9/+20
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek1-14/+0
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-28ada: Add new predicate Is_Address_Compatible_TypeSebastian Poeplau1-0/+5
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+1
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff1-3/+3
2023-07-28ada: Fix unsupported dispatching constructor callJavier Miranda1-1/+1
2023-07-28ada: Allow calls to Number_Formals when no formals are presentPiotr Trojanek1-2/+2
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+1
2023-05-25ada: Use procedural variant of Next_Index where possiblePiotr Trojanek1-1/+1
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-1/+1
2023-05-15ada: Use Inline aspect instead of pragma in Einfo.UtilsBob Duff1-22/+21
2023-05-15ada: Remove duplicated code in Proc_Next_Component_Or_DiscriminantBob Duff1-5/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-09-05[Ada] Cleanup expansion of attribute PriorityPiotr Trojanek1-1/+1
2022-07-04[Ada] Assertions in Einfo.UtilsBob Duff1-31/+30
2022-06-01[Ada] Incorrect code for anonymous access-to-function with convention CBob Duff1-5/+4
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-84/+0
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-0/+2
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-6/+6
2021-10-25[Ada] Make Declaration_Node return nondeclarations in fewer casesBob Duff1-0/+24
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-6/+69
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-48/+24
2021-10-04[Ada] Declaration_Node for Itypes returns Empty or declarationBob Duff1-8/+13
2021-10-04[Ada] Entities in E_Loop scopes are not library-level entitiesJavier Miranda1-19/+12
2021-09-23[Ada] Add N_Has_Bounds and N_Is_IndexRichard Kenner1-0/+2
2021-09-23[Ada] Cleanup and efficiency improvementsBob Duff1-1/+3
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-2/+2
2021-09-22[Ada] Fix infinite loop in compilation of illegal codeYannick Moy1-2/+1
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-36/+70
2021-09-20[Ada] Present and No functions for type UintBob Duff1-10/+10
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-179/+98
2021-07-12[Ada] Clean up Uint fieldsBob Duff1-8/+17
2021-07-08[Ada] Remove Unknown_ functionsBob Duff1-40/+0
2021-07-07[Ada] Assertion errors on concurrent types with -gnatc and extensions enabledGary Dismukes1-6/+6
2021-07-07[Ada] Fix bugs in Value_Size clauses and refactorBob Duff1-3/+14
2021-06-29[Ada] Expose symmetry between Known_ and Unknown_ query routinesPiotr Trojanek1-13/+7
2021-06-29[Ada] tech debt: clean up Component_SizeBob Duff1-6/+4
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-14/+29
2021-06-17[Ada] Fix varsize node name conflictBob Duff1-1/+1
2021-06-15[Ada] Allow Known_Static_Component_Size (etc) on private typesBob Duff1-5/+5
2021-06-15[Ada] Variable-sized node types -- cleanupBob Duff1-15/+19
2021-05-07[Ada] Robust detection of access-to-subprogram and access-to-object typesPiotr Trojanek1-4/+5