aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
2020-06-16[Ada] Fix spurious error on derived private type with predicateEric Botcazou1-6/+16
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-16[Ada] Declare expressionsBob Duff1-0/+76
2020-06-16[Ada] ACATS C452005/C452006 memberships use wrong equality operationArnaud Charlet1-3/+7
2020-06-16[Ada] ACATS 4.1K - B452001 - No errors detectedArnaud Charlet1-50/+44
2020-06-16[Ada] Fix spurious error on implicit dereference for private typeEric Botcazou1-4/+18
2020-06-12[Ada] Reuse Is_Entry where possiblePiotr Trojanek1-1/+1
2020-06-12[Ada] Small cleanup in handling of Ada 2012 implicit dereferencesEric Botcazou1-1/+2
2020-06-11[Ada] Update SPARK RM rule numbers after removing a redundant rulePiotr Trojanek1-1/+1
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-101/+10
2020-06-10[Ada] Remove obsolete code in Resolve_CallEric Botcazou1-2/+1
2020-06-08[Ada] Spurious error on call to controlled primitiveJustin Squirek1-3/+4
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-59/+0
2020-06-03[Ada] Support pragma Allow_Integer_Address on 64-bit targetsEric Botcazou1-8/+19
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-3/+3
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-22/+4
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Remove degenerate Treat_Fixed_As_Integer mechanismEric Botcazou1-28/+6
2020-06-02[Ada] Typo corrections and minor reformattingGary Dismukes1-2/+2
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-1/+1
2019-12-18[Ada] Fix three-letter typos like "sss" in comments and docsPiotr Trojanek1-1/+1
2019-12-16[Ada] Crash on constrained container in generalized indexing operationEd Schonberg1-1/+4
2019-12-12[Ada] Fix various typos, plus minor reformattingGary Dismukes1-1/+1
2019-12-12[Ada] Broken privacy on Controlled type extensionsJustin Squirek1-2/+52
2019-12-12[Ada] Fix repeated words and typos in doc and commentsPiotr Trojanek1-1/+1
2019-12-12[Ada] Compiler crash on prefix call in generic bodyBob Duff1-46/+45
2019-12-12[Ada] Constraint is ignored on constrained access record componentEd Schonberg1-4/+3
2019-09-17[Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172)Javier Miranda1-1/+3
2019-08-20[Ada] Improve speed of discriminated return typesBob Duff1-13/+35
2019-08-14[Ada] Illegal selection of first object in a task type's body not detectedGary Dismukes1-1/+9
2019-08-13[Ada] Avoid crash in GNATprove_Mode on allocator inside typeYannick Moy1-3/+9
2019-08-13[Ada] Spurious error on nested instantiationEric Botcazou1-53/+0
2019-07-22[Ada] Remove obsolete Is_For_Access_Subtype machineryEric Botcazou1-11/+2
2019-07-10[Ada] Minor reformattingHristian Kirtchev1-13/+9
2019-07-09[Ada] Crash/infinite loop on program with multiple visibility errorsEd Schonberg1-17/+45
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-2/+2
2019-07-01[Ada] Minor reformattingHristian Kirtchev1-4/+4
2019-07-01[Ada] Improve error message on mult/div between fixed-point and integerYannick Moy1-1/+21
2019-01-09PR other/16615 [4/5]Sandra Loosemore1-2/+2
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] GNATprove: improve proofs for uninitialized constrained objectsEd Schonberg1-2/+5
2018-12-03[Ada] Fix assertion failures with -gnatde and -gnatdvEric Botcazou1-2/+2
2018-07-31[Ada] Fix resolution of class-wide operations that are generic actualsEd Schonberg1-0/+4
2018-07-31[Ada] Minor reformattingsHristian Kirtchev1-32/+38
2018-07-17[Ada] Spurious error on prefixed call in an instantiationEd Schonberg1-22/+65
2018-07-16[Ada] Sem_Ch4: minor code cleanupJavier Miranda1-9/+3
2018-05-30[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-1/+1
2018-05-24[Ada] Missing error on illegal access to discriminantJavier Miranda1-3/+3
2018-05-22[Ada] Ada2020: Reduction expressionsEd Schonberg1-77/+0
2018-05-22[Ada] Minor reformattingsHristian Kirtchev1-7/+7
generated by cgit v1.1 at 2025-08-04 11:45:34 +0000