aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2021-07-05[Ada] Add Ada 2022 Image and Put_Image support for tagged typesSteve Baird1-50/+0
2021-07-05[Ada] Fix overriding subprogram being incorrectly seen as returningGhjuvan Lacambre1-5/+21
2021-06-29[Ada] Remove redundant check for empty listPiotr Trojanek1-1/+0
2021-06-29[Ada] Simplify detection of local typesPiotr Trojanek1-14/+1
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-4/+4
2021-06-21[Ada] Minor reformattingsGhjuvan Lacambre1-1/+1
2021-06-18[Ada] Additional error checking on index constraints with fixed-lower-bound r...Gary Dismukes1-5/+37
2021-06-18[Ada] Missing check for assigning too-large array to fixed-lower-bound objectGary Dismukes1-2/+2
2021-06-18[Ada] Update comments related to TBDArnaud Charlet1-2/+2
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-0/+11
2021-06-17[Ada] Crash on overriding of an abstract primitive on an incomplete typeArnaud Charlet1-0/+1
2021-06-17[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...Gary Dismukes1-2/+88
2021-06-17[Ada] Don't check No_Wide_Characters restriction for illegal typesPiotr Trojanek1-4/+4
2021-06-17[Ada] Fix varsize node name conflictBob Duff1-14/+14
2021-06-16[Ada] Raise expressions and unconstrained componentsArnaud Charlet1-12/+1
2021-06-15[Ada] Incorrect Reinit_Field_To_Zero calls for concurrent entitiesBob Duff1-4/+7
2021-06-15[Ada] Variable-sized node types -- cleanupBob Duff1-1/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-4/+4
2021-06-15[Ada] Add more initialization of Stored_ConstraintRichard Kenner1-0/+17
2021-06-15[Ada] Robust switching from incomplete to access typesPiotr Trojanek1-25/+29
2021-05-07[Ada] Robust detection of access-to-subprogram and access-to-object typesPiotr Trojanek1-1/+4
2021-05-07[Ada] Minor reformattingsBob Duff1-60/+60
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-106/+106
2021-05-07[Ada] Reinitialize Private_Dependents when it is vanishingBob Duff1-1/+4
2021-05-07[Ada] Variable-sized node typesBob Duff1-37/+88
2021-05-06[Ada] Avoid repeated analysis of constraint rangesPiotr Trojanek1-2/+0
2021-05-05[Ada] Reuse Has_Defaulted_Discriminants where possiblePiotr Trojanek1-6/+2
2021-05-05[Ada] Handle defaults in declare_expressions in postconditionsEd Schonberg1-0/+38
2021-05-03[Ada] Reuse Is_Universal_Numeric_Type where possiblePiotr Trojanek1-4/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Fix typos in calls to Error_Msg_NEPiotr Trojanek1-1/+1
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-7/+7
2021-04-29[Ada] Self reference access discriminantArnaud Charlet1-97/+140
2021-04-28[Ada] Use spans instead of locations for compiler diagnosticsYannick Moy1-3/+2
2021-04-28[Ada] Incorrect discriminant check on call to access to subprogramArnaud Charlet1-7/+2
2021-04-28[Ada] Remove unused subprogramsArnaud Charlet1-18/+1
2021-03-02Do not call Set_Cloned_Subtype on private typeEric Botcazou1-1/+1
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-33/+36
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-3/+4
2020-12-16[Ada] Remove inconsistent colons in messages for Ada 83 violationsPiotr Trojanek1-1/+1
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-32/+50
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-9/+16
2020-11-25[Ada] Fix internal compilation error on circular type in SPARK codeYannick Moy1-2/+2
2020-11-24[Ada] Fix crash in GNATprove on inlined subprogram in default expressionYannick Moy1-1/+1
2020-10-23[Ada] Spurious errors on tagged types with renamed subprogramsJavier Miranda1-3/+11
2020-10-22[Ada] ACATS 4.1H - B853001 - missed errors for renamed limitedJavier Miranda1-1/+2
2020-10-22[Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird1-0/+8
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-13/+20
2020-10-21[Ada] Fix typos and style in comments related to Default_Initial_ConditionPiotr Trojanek1-1/+1
2020-10-21[Ada] Spurious error in taft ammendment derivation of CPP typeJavier Miranda1-0/+7