aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_util.ads
AgeCommit message (Expand)AuthorFilesLines
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
2020-10-20[Ada] Minor reorder subprogram declarations alphabeticallyPiotr Trojanek1-5/+5
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-4/+0
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-0/+8
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-6/+4
2020-07-06[Ada] Fix typo in comment of Get_Index_SubtypePiotr Trojanek1-1/+1
2020-06-08[Ada] Reuse Get_Index_Subtype in the special expander for GNATprovePiotr Trojanek1-0/+4
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-0/+4
2019-09-19[Ada] Remove duplicated routines for getting homonym numberPiotr Trojanek1-1/+1
2019-09-18[Ada] Factor out code for deciding statically known Constrained attributesClaire Dross1-0/+4
2019-08-12[Ada] Small comment tweaks for 3 predicates on bit-aligned referencesEric Botcazou1-29/+25
2019-07-11[Ada] Missing finalization of private protected typeHristian Kirtchev1-4/+0
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev1-4/+0
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Minor reformattingsGary Dismukes1-4/+4
2018-12-11[Ada] Crash on ignored Ghost expression functionHristian Kirtchev1-13/+28
2018-12-03[Ada] Minor reformattingsHristian Kirtchev1-1/+3
2018-11-14[Ada] Problem with boundary case of XOR operation and unnestingEd Schonberg1-5/+8
2018-11-14[Ada] Limited function violates No_Exception_PropagationHristian Kirtchev1-3/+3
2018-09-26[Ada] Preparation for new description of interface thunksEric Botcazou1-2/+3
2018-05-30[Ada] Minor reformattingHristian Kirtchev1-3/+2
2018-05-28[Ada] Spurious constraint error on array of null-excluding componentsJustin Squirek1-0/+10
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-1/+3
2017-10-09[multiple changes]Pierre-Marie de Rodat1-5/+2
generated by cgit v1.1 at 2024-08-17 14:58:21 +0000