aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch8.adb
AgeCommit message (Expand)AuthorFilesLines
2020-10-26[Ada] Improve error on missing with clauseArnaud Charlet1-3/+19
2020-10-23[Ada] GNATprove: remove support for external axiomatizationsJohannes Kanig1-33/+1
2020-10-22[Ada] ACATS 4.1H - B853001 - missed errors for renamed limitedJavier Miranda1-0/+45
2020-10-20[Ada] Spurious discriminant check on "for of" loopArnaud Charlet1-2/+26
2020-10-20[Ada] Flexible AST node structureBob Duff1-5/+0
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff1-118/+106
2020-10-19[Ada] Crash in expression function defined in protected objectJavier Miranda1-0/+17
2020-10-15[Ada] Wrong use of Scope_Depth_ValueArnaud Charlet1-1/+1
2020-07-27[Ada] Assert failure on incorrect codeArnaud Charlet1-2/+4
2020-07-27[Ada] AI12-0383 Renaming valuesArnaud Charlet1-4/+23
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-39/+36
2020-07-16[Ada] AI12-0132 Freezing of renames_as_bodyArnaud Charlet1-0/+16
2020-07-16[Ada] Spurious redundant use clause warningArnaud Charlet1-4/+11
2020-07-10[Ada] Revert mistaken negation related to references to labelsPiotr Trojanek1-2/+2
2020-07-10[Ada] Fix detection of actual parameters for procedure callsPiotr Trojanek1-10/+24
2020-07-07[Ada] Use Is_Generic_Subprogram where possiblePiotr Trojanek1-1/+1
2020-07-07[Ada] Fix typo in code to get a better error messagePiotr Trojanek1-4/+3
2020-07-07[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprogramsArnaud Charlet1-27/+37
2020-06-18[Ada] ACATS 4.1J - B854003 - Subtype conformance check missedArnaud Charlet1-1/+3
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+11
2020-06-17[Ada] Fix casing from GNATProve to GNATprovePiotr Trojanek1-2/+2
2020-06-16[Ada] Accept renamings of folded string aggregatesPiotr Trojanek1-2/+2
2020-06-15[Ada] Improve error message on premature usage of subtypesArnaud Charlet1-30/+30
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-2/+3
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-1/+1
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-113/+27
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-12/+4
2020-06-08[Ada] AI12-0204 Renaming of a prefixed viewArnaud Charlet1-1/+17
2020-06-08[Ada] AI12-0228 Properties of qualified expressions used as namesArnaud Charlet1-13/+18
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-42/+0
2020-06-08[Ada] AI12-0287 Legality Rules for null exclusions in renaming are too fierceArnaud Charlet1-6/+4
2020-06-08[Ada] AI12-0226 Make objects more consistentArnaud Charlet1-70/+37
2020-06-05[Ada] Use Is_Incomplete_Type instead of a low-level Ekind testPiotr Trojanek1-1/+1
2020-06-04[Ada] Put_Image attributeBob Duff1-18/+25
2020-06-04[Ada] Implement AI12-0275 (Make subtype_mark optional in object renamings)Gary Dismukes1-4/+102
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-5/+5
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-3/+3
2019-12-18[Ada] Bad "already use-visible" warning re: use in private partBob Duff1-6/+6
2019-12-16[Ada] Fully propagate representation aspects through renamingEric Botcazou1-12/+6
2019-12-12[Ada] Improve error message for dispatching subprogram formalsEd Schonberg1-3/+8
2019-10-12re PR ada/91995 (gnat miscompilation and bootstrap failure on m68k-linux)Eric Botcazou1-4/+2
2019-09-18[Ada] Spurious ineffective use_clause warningJustin Squirek1-5/+12
2019-08-21[Ada] Replace low-level membership tests with high-level routinesPiotr Trojanek1-1/+1
2019-08-13[Ada] Add conformance check on actual subp. in instance of child unitEd Schonberg1-1/+10
2019-08-13[Ada] Spurious error on nested instantiationEric Botcazou1-12/+130
2019-07-22[Ada] Fix spurious visibility error for tagged type with inliningEric Botcazou1-1/+11
2019-07-22[Ada] Internal error on iterator for limited private discriminated typeEric Botcazou1-8/+2
2019-07-11[Ada] Minor reformattingHristian Kirtchev1-2/+1
2019-07-11[Ada] Internal crash on illegal renamingHristian Kirtchev1-10/+33
generated by cgit v1.1 at 2025-03-01 17:30:52 +0000