aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_disp.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-13ada: Missing postcondition runtime check in inherited primitiveJavier Miranda1-0/+4
2024-06-13ada: Streamline elaboration of local tagged typesEric Botcazou1-9/+18
2024-06-10ada: Adjust comments and doc about the new use of restriction No_StreamsPiotr Trojanek1-0/+4
2024-05-21ada: Do not leak tagged type names when Discard_Names is enabledPiotr Trojanek1-2/+3
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: Cleanup "not Present" on List_IdPiotr Trojanek1-1/+1
2023-07-18ada: Constraint_Error caused by interface conversionJavier Miranda1-90/+4
2023-06-13ada: Simplify appending to a newly created listPiotr Trojanek1-3/+3
2023-05-26ada: Handle new Controlling_Tag format when converting to SCILGhjuvan Lacambre1-8/+26
2023-05-23ada: Fix address arithmetic issues in the expanded codeEric Botcazou1-32/+37
2023-05-15ada: Skip dynamic interface conversion under native runtimeJavier Miranda1-7/+91
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-0/+1
2022-11-04ada: Skip dynamic interface conversion under configurable runtimeJavier Miranda1-1/+1
2022-11-04ada: Skip dynamic interface conversion under configurable runtimeJavier Miranda1-11/+21
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-9/+7
2022-07-04[Ada] Fix dispatching call to primitive function with controlling tagged resultEric Botcazou1-2/+8
2022-06-02[Ada] Restore full generation of static dispatch tables with -gnatzrEric Botcazou1-8/+9
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-81/+314
2022-06-02[Ada] Move registering code for predefined primitives to Exp_DispEric Botcazou1-0/+104
2022-06-02[Ada] Build static dispatch tables always at the end of declarative partEric Botcazou1-4/+27
2022-06-01[Ada] Minor tweaks to dispatching support codeEric Botcazou1-23/+27
2022-05-30[Ada] Do not freeze specifically for dispatch tablesEric Botcazou1-29/+0
2022-05-30[Ada] Do not freeze profiles for dispatch tablesEric Botcazou1-149/+11
2022-05-09[Ada] Improve error messages to include full package nameJustin Squirek1-2/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Remove extra space before THEN keywordsPiotr Trojanek1-1/+1
2022-01-07[Ada] Remove unnecessary guards for appending non-empty listsPiotr Trojanek1-3/+1
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-5/+13
2022-01-05[Ada] Remove unnecessary check for missing parameter specificationsPiotr Trojanek1-13/+11
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-0/+2
2021-10-25[Ada] Follow-on cleanups for Uint fieldsBob Duff1-1/+1
2021-10-04[Ada] Emit debugging information for TSD objectEric Botcazou1-0/+5
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-225/+0
2021-09-23[Ada] Wrappers of access-to-subprograms with pre/post conditionsJavier Miranda1-0/+4
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-1/+1
2021-09-20[Ada] Present and No functions for type UintBob Duff1-10/+10
2021-09-20[Ada] Cleanups related to building of dispatch tablesPiotr Trojanek1-1/+1
2021-09-20[Ada] Fix repeated generation of dispatch tables in CodePeer modePiotr Trojanek1-1/+2
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-29/+0
2021-07-07[Ada] Simplify code by reusing List_LengthPiotr Trojanek1-13/+1
2021-07-07[Ada] Transient scope cleanupBob Duff1-67/+44
2021-06-18[Ada] Premature freezing of typesArnaud Charlet1-0/+2
2021-06-16[Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispatching callsJavier Miranda1-0/+10
2021-05-07[Ada] Minor reformattingsBob Duff1-45/+45
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-15/+15
2021-05-07[Ada] Variable-sized node typesBob Duff1-5/+12
2021-05-06[Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispatching callsJavier Miranda1-22/+84
2021-05-05[Ada] Remove redundant checks for empty listsPiotr Trojanek1-16/+13
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
generated by cgit v1.1 at 2024-07-24 15:46:02 +0000