aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
2020-10-19[Ada] Wrong freezing for expression function with contracts in a genericArnaud Charlet1-0/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-70/+68
2020-07-16[Ada] Implicit dereferencing in container indexingGary Dismukes1-1/+20
2020-07-16[Ada] Ada2020: AI12-0107 convention of By_Protected_ProcedureJavier Miranda1-0/+69
2020-07-10[Ada] Ada2020: AI12-0368 Declare expressions can be staticBob Duff1-2/+0
2020-07-07[Ada] Assert failure on invalid Variable_IndexingArnaud Charlet1-0/+7
2020-06-19[Ada] Fix internal error on component of class-wide parameter in instance bodyEric Botcazou1-14/+10
2020-06-19[Ada] universal_access equality and 'Access attributesArnaud Charlet1-14/+49
2020-06-18[Ada] Suppress CodePeer message on possible uninitialized variableArnaud Charlet1-2/+2
2020-06-18[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rulesArnaud Charlet1-41/+217
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
generated by cgit v1.1 at 2024-08-18 19:16:03 +0000