aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-13/+12
2022-11-08ada: Improve handling of declare expressions in deferred-freezing contextsSteve Baird1-0/+20
2022-11-08ada: Cleanup local variable that is only set as an out parameterPiotr Trojanek1-9/+9
2022-11-08ada: Allow initialization of limited objects with delta aggregatesPiotr Trojanek1-0/+1
2022-11-07ada: Cleanup detection of code within generic instancesPiotr Trojanek1-3/+3
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-4/+4
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-2/+2
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-11/+12
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-12/+11
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou1-60/+23
2022-09-02[Ada] Fix crash on declaration of overaligned array with constraintsEric Botcazou1-8/+1
2022-07-05[Ada] Perform object rewriting as renaming only in the expanderEric Botcazou1-35/+0
2022-07-05[Ada] Fix dangling bounds for array result of BIP functionsEric Botcazou1-16/+19
2022-07-04[Ada] Enforce deferred constant completion rulesSteve Baird1-14/+32
2022-07-04[Ada] Fix missing error on 'Access of constrained arrayBob Duff1-1/+1
2022-07-04[Ada] Call-initialize all controlled objects in placeEric Botcazou1-5/+5
2022-06-01[Ada] Fix predicate check on object declarationMarc Poulhiès1-86/+2
2022-06-01[Ada] Propagate null-exclusion to anonymous access typesPiotr Trojanek1-0/+1
2022-06-01[Ada] Incorrect code for anonymous access-to-function with convention CBob Duff1-3/+0
2022-05-18[Ada] Rework optimization skipping pragma check in object declarationMarc Poulhiès1-3/+7
2022-05-18[Ada] Overriding error on type derived from discriminated untagged private typeGary Dismukes1-1/+9
2022-05-17[Ada] Take full view of private typeEtienne Servais1-1/+3
2022-05-16[Ada] Fix spurious error on limited view with incomplete typeEric Botcazou1-8/+40
2022-05-13[Ada] Fix incorrect call to inherited function with limited return typeEric Botcazou1-0/+1
2022-05-13[Ada] Fix typo on "that"Etienne Servais1-1/+1
2022-05-12[Ada] Fix typo in commentEtienne Servais1-1/+1
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès1-0/+8
2022-05-11[Ada] Do not create useless itype in Constrain_AccessEtienne Servais1-1/+4
2022-05-11[Ada] fix crash on Secondary_Stack_Size with discriminantBob Duff1-2/+2
2022-05-10[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-14/+8
2022-05-10[Ada] Cleanup detection of No_Elist with No and PresentPiotr Trojanek1-1/+1
2022-05-09[Ada] Add utility to preanalyze assert expression without forcing its typePiotr Trojanek1-0/+35
2022-01-11[Ada] Fix incomplete debug info for derived packed array typeEric Botcazou1-1/+4
2022-01-11[Ada] Fix check for implicit allocation of dynamic objectsEtienne Servais1-2/+3
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-1/+1
2022-01-07[Ada] Spurious error caused by order of interfaces in full viewJavier Miranda1-2/+2
2022-01-06[Ada] Warn on subtype declaration of null rangeBob Duff1-4/+4
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek1-7/+5
2022-01-06[Ada] Rename Any_Access into Universal_AccessEric Botcazou1-2/+2
2022-01-05[Ada] Remove extra space in parameter associationsPiotr Trojanek1-1/+1
2022-01-05[Ada] Fix condition to build subtype for discriminated typesEtienne Servais1-17/+88
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek1-2/+1
2021-12-02[Ada] More intuitive names in sanity-checking of derived typesPiotr Trojanek1-24/+24
2021-12-01[Ada] Storage error on untagged prefixed subprogram calls with -gnatXGary Dismukes1-54/+64
2021-11-10[Ada] Warn when interfaces swapped between full and partial viewEtienne Servais1-21/+53
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-0/+3
2021-11-09[Ada] Complete support for prefixed call on subtypes/derived typesYannick Moy1-2/+15
2021-11-09[Ada] Fix support for prefixed call with incomplete type declarationsYannick Moy1-0/+9
2021-10-25[Ada] Follow-on cleanups for Uint fieldsBob Duff1-1/+1
generated by cgit v1.1 at 2024-07-18 06:52:51 +0000