aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_util.adb
AgeCommit message (Expand)AuthorFilesLines
2021-06-17[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...Gary Dismukes1-0/+181
2021-06-17[Ada] Crash on a nested aggregate containing controlled objectsArnaud Charlet1-0/+3
2021-06-17[Ada] Look at Others_Discrete_Choices for N_Others_ChoiceRichard Kenner1-1/+8
2021-06-15[Ada] Avoid unhelpful dead code warningsSteve Baird1-17/+22
2021-06-15[Ada] Enable removal of side-effects in component declarationsPiotr Trojanek1-1/+2
2021-06-15[Ada] Fix bug in if_expressions introduced by var-size nodes changesBob Duff1-6/+3
2021-06-15[Ada] Add support for folding more and/or expressionsArnaud Charlet1-2/+12
2021-05-07[Ada] Minor reformattingsBob Duff1-42/+42
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-11/+11
2021-05-07[Ada] Variable-sized node typesBob Duff1-11/+27
2021-05-07[Ada] Crash on imported object with deep initialization and No_AbortsEd Schonberg1-0/+20
2021-05-07[Ada] Spurious error on protected call in inherited postconditionEd Schonberg1-0/+1
2021-05-06[Ada] Fix typosArnaud Charlet1-1/+2
2021-05-05[Ada] Remove commented codeGhjuvan Lacambre1-20/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace calls to RTE with Is_RTE where possiblePiotr Trojanek1-2/+2
2021-04-29[Ada] SPARK needs DIC expressions within partial DIC procedures for abstract ...Gary Dismukes1-1/+1
2021-04-28[Ada] AI12-0397: Default_Initial_Condition expressions for derived typesGary Dismukes1-6/+12
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-137/+0
2020-12-16[Ada] Simplify membership tests with N_Subprogram_Call subtypePiotr Trojanek1-2/+1
2020-12-15[Ada] Transform_Function_Array issuesArnaud Charlet1-4/+6
2020-12-14[Ada] Add annotation after recent compiler changesArnaud Charlet1-3/+2
2020-12-14[Ada] Fix internal error on bit-packed array in Volatile_Full_Access recordEric Botcazou1-6/+3
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-179/+461
2020-11-30[Ada] Fix folding of comparison operators in GNATprove modePiotr Trojanek1-0/+11
2020-11-30[Ada] Confusion in Transform_Function_Array and internal subprogramsArnaud Charlet1-3/+1
2020-11-26[Ada] Reuse Is_Access_Object_Type where possiblePiotr Trojanek1-2/+1
2020-11-26[Ada] Correct a typo, plus other minor reformattingGary Dismukes1-4/+4
2020-11-25[Ada] Further optimization with uninitialized aggregatesEd Schonberg1-0/+62
2020-11-25[Ada] Remove hyphens in two cases of "side-effect" used as a nounGary Dismukes1-2/+2
2020-11-25[Ada] Minimize side-effect removal in GNATprove modeYannick Moy1-11/+29
2020-11-25[Ada] Remove repeated calls to Attribute_NamePiotr Trojanek1-4/+4
2020-11-25[Ada] Fix style and typos in code for expanding attribute referencesPiotr Trojanek1-1/+1
2020-11-24[Ada] Premature finalization on build in place return and case expressionArnaud Charlet1-3/+36
2020-10-23[Ada] GNATprove: remove support for external axiomatizationsJohannes Kanig1-170/+0
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-1/+0
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-0/+16
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird1-59/+82
2020-10-20[Ada] Fix internal error on bit-aligned component of function callEric Botcazou1-16/+21
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+18
2020-10-16[Ada] Avoid premature finalization of a function resultSteve Baird1-1/+6
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-20/+0
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-50/+96
2020-10-15[Ada] Do not remove side effects from any object declarations in SPARKPiotr Trojanek1-10/+9
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-60/+52
2020-07-15[Ada] Ongoing work for AI12-0212: container aggregatesArnaud Charlet1-0/+1
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-12/+24
2020-07-08[Ada] Style cleanups related to Current_ConditionPiotr Trojanek1-2/+2
2020-06-18[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-13/+2
2020-06-16[Ada] Reuse Is_Object where possiblePiotr Trojanek1-1/+1
generated by cgit v1.1 at 2024-10-28 13:18:15 +0000