aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2021-12-01[Ada] Fix incorrect fixed-point computation in expression functionEric Botcazou1-3/+9
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-2/+41
2021-10-25[Ada] Spurious error on user-defined literal and operatorEd Schonberg1-145/+260
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-6/+6
2021-10-05[Ada] Improve error message on missing all/for in quantified expressionYannick Moy1-0/+18
2021-10-04[Ada] Remove repeated calls to Prefix in resolution of array accessesPiotr Trojanek1-43/+40
2021-10-04[Ada] Fix comment about expansion of slicesPiotr Trojanek1-1/+1
2021-10-04[Ada] Fix resolution of Declare_Expressions involving transient scopesEd Schonberg1-49/+59
2021-10-04[Ada] Fix handling of slices with subtype namesPiotr Trojanek1-10/+11
2021-10-04[Ada] Fix missing check on slice with a subtype indicationPiotr Trojanek1-1/+5
2021-10-04[Ada] Fix handling of 'Image acting as a prefix of a slice in CodePeerPiotr Trojanek1-0/+10
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+9
2021-10-01[Ada] Fix bug in inherited user-defined-literal aspects for tagged typesSteve Baird1-9/+26
2021-09-20[Ada] Accept volatile expressions as non-scalar actual parametersPiotr Trojanek1-26/+0
2021-07-09[Ada] Incremental patch for restriction No_Dynamic_Accessibility_ChecksJustin Squirek1-5/+10
2021-07-09[Ada] Avoid unnecessary call in preanalysis without freezingPiotr Trojanek1-1/+1
2021-07-08[Ada] Revert meaning of -gnatd_bArnaud Charlet1-2/+1
2021-07-07[Ada] Simplify handling of sure errors in GNATprove modeYannick Moy1-7/+0
2021-07-07[Ada] Transient scope cleanupBob Duff1-12/+3
2021-07-06[Ada] Transient scope cleanupBob Duff1-2/+1
2021-07-05[Ada] Fix missing minus sign in literal translationGhjuvan Lacambre1-0/+5
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-5/+17
2021-07-05[Ada] Adapt SPARK checking after change in rules regarding heap modelingYannick Moy1-12/+0
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-2/+3
2021-06-18[Ada] Premature freezing of typesArnaud Charlet1-5/+2
2021-06-17[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...Gary Dismukes1-0/+7
2021-06-17[Ada] Casing on composite valuesSteve Baird1-2/+5
2021-06-16[Ada] Do not generate an Itype_Reference node for slices in GNATprove modeYannick Moy1-3/+2
2021-06-16[Ada] Fix detection of volatile expressions in restricted contextsPiotr Trojanek1-48/+24
2021-06-16[Ada] Cleanup related to volatile objects in restricted contextsPiotr Trojanek1-2/+6
2021-06-16[Ada] Implementation of AI12-0152: legality rules for Raise_ExpressionEd Schonberg1-0/+49
2021-06-15[Ada] Replace repeated calls by references to a local objectPiotr Trojanek1-9/+9
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-10/+10
2021-05-07[Ada] Minor reformattingsBob Duff1-62/+62
2021-05-07[Ada] Variable-sized node typesBob Duff1-5/+11
2021-05-07[Ada] Attribute Address is not an interfering context in SPARKPiotr Trojanek1-0/+13
2021-05-07[Ada] Generate warning for negative literal of a modular typeYannick Moy1-0/+22
2021-05-07[Ada] Cleanup code for flagging object references in interfering contextsPiotr Trojanek1-14/+20
2021-05-06[Ada] Remove repeated calls in Resolve_RangePiotr Trojanek1-7/+4
2021-05-06[Ada] Crash on if_expression used as index of discriminant-dependent arrayEd Schonberg1-6/+22
2021-05-05[Ada] Remove redundant explicit calls to UI_From_Int in comparisonsPiotr Trojanek1-3/+3
2021-05-04[Ada] Fix continuation message for missing ALL in access typeYannick Moy1-1/+1
2021-05-03[Ada] Reuse Is_Universal_Numeric_Type where possiblePiotr Trojanek1-25/+11
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-1/+1
2021-04-28[Ada] AI12-0397: Default_Initial_Condition expressions for derived typesGary Dismukes1-0/+35
2021-04-28[Ada] Crash with declare expression used in a postconditionArnaud Charlet1-0/+1
2020-12-17[Ada] Crash on if expression inside declare expressionArnaud Charlet1-8/+29
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-21/+25
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-5/+5
generated by cgit v1.1 at 2025-03-06 16:34:31 +0000