aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_util.ads
AgeCommit message (Expand)AuthorFilesLines
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-3/+22
2024-06-21ada: Small cleanup in processing of primitive operationsEric Botcazou1-5/+5
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+20
2024-06-13ada: Fix too late finalization of temporary objectEric Botcazou1-6/+4
2024-05-14ada: Decouple attachment from dynamic allocation for controlled objectsEric Botcazou1-6/+19
2024-05-14ada: Small cleanup about allocators and aggregatesEric Botcazou1-5/+2
2024-05-13ada: Move Init_Proc_Level_Formal from Exp_Ch3 to Exp_UtilEric Botcazou1-3/+7
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou1-29/+0
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Fix crash on concurrent type aggregateRonan Desplanques1-2/+6
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-3/+3
2023-11-28ada: Further cleanup in finalization machineryEric Botcazou1-3/+4
2023-11-21ada: Trivial typo fix in commentMarc Poulhiès1-1/+1
2023-09-14ada: Improve detection of deactivated code for warnings with -gnatwtYannick Moy1-0/+17
2023-07-04ada: Do not unnecessarily use component-wise loop for slice assignmentEric Botcazou1-6/+11
2023-06-20ada: Fix bug in predicate checks with address clausesBob Duff1-7/+0
2023-06-15ada: Fix missing finalization for aggregates nested in conditional expressionsEric Botcazou1-1/+3
2023-06-15ada: Remove obsolete references for Build_Transient_Object_StatementsEric Botcazou1-3/+3
2023-06-13ada: Factor out tag assignments from type in expanderEric Botcazou1-0/+7
2023-05-16ada: Adjust semantics and implementation of storage modelsEric Botcazou1-0/+12
2023-01-16ada: Use static references to tag in more cases for interface objectsEric Botcazou1-0/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-09ada: Simplify finalization of temporaries created for interface objectsEric Botcazou1-12/+0
2023-01-03ada: Fix premature finalization of return temporaryEric Botcazou1-0/+4
2023-01-03ada: Fix detection of function calls in object declarationsEric Botcazou1-0/+8
2022-09-05[Ada] Remove VMS specific routine that is no longer referencedPiotr Trojanek1-5/+0
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes1-2/+4
2022-07-13[Ada] Add cross-references between Integer_Type_For and Small_Integer_Type_ForEric Botcazou1-2/+2
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-0/+13
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-5/+11
2022-05-19[Ada] Avoid copy operation for returns involving function callsEric Botcazou1-0/+2
2022-05-17[Ada] Cleanups related to front-end SJLJBob Duff1-2/+2
2022-05-09[Ada] Allow Big_Integer in loop and subprogram variantsPiotr Trojanek1-1/+3
2022-01-11[Ada] Remove unreferenced CCG-specific routine Insert_DeclarationPiotr Trojanek1-12/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-05[Ada] Prevent Get_Current_Value_Condition from returning the same nodeBob Duff1-1/+1
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes1-0/+10
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-23/+25
2021-09-20[Ada] Spurious link error with child unit and different Assertion modes.Ed Schonberg1-0/+11
2021-07-09[Ada] Fix typo in comment related to derived discriminated typesPiotr Trojanek1-1/+1
2021-07-06[Ada] Removal of various ??? comments plus related code changesGary Dismukes1-1/+1
2021-06-17[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...Gary Dismukes1-0/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-7/+7
2021-05-07[Ada] Variable-sized node typesBob Duff1-1/+2
2021-05-07[Ada] Remove some ??? commentsGary Dismukes1-6/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-24/+0
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-12/+18
2020-10-23[Ada] GNATprove: remove support for external axiomatizationsJohannes Kanig1-11/+0
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+9