aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch8.adb
AgeCommit message (Expand)AuthorFilesLines
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-1/+1
2021-07-07[Ada] Implement new legality checks specified by AI12-0412Gary Dismukes1-6/+22
2021-07-06[Ada] Transient scope cleanupBob Duff1-43/+43
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes1-4/+10
2021-06-29[Ada] Overriding errors on renamings and instances overriding predefined oper...Gary Dismukes1-1/+3
2021-06-17[Ada] Removal of technical debtJustin Squirek1-23/+13
2021-06-17[Ada] Fix varsize node name conflictBob Duff1-3/+3
2021-06-16[Ada] Remove extra parens around a function callPiotr Trojanek1-1/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-1/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-50/+50
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-11/+11
2021-05-07[Ada] Variable-sized node typesBob Duff1-11/+25
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace calls to RTE with Is_RTE where possiblePiotr Trojanek1-10/+4
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-2/+2
2021-04-29[Ada] Self reference access discriminantArnaud Charlet1-13/+2
2021-04-29[Ada] Ada 2020 AI12-0401: Renaming of qualified expression of variableArnaud Charlet1-9/+48
2021-04-29[Ada] Warning for 'Class applied to untagged incomplete typeGary Dismukes1-9/+11
2021-03-02Fix PR ada/99095Eric Botcazou1-1/+9
2020-12-17[Ada] Consistent wording for missing -gnat2020 switchPiotr Trojanek1-4/+2
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-2/+30
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-1/+1
2020-11-30[Ada] Crash on ghost assignment check for illegal codeBob Duff1-7/+4
2020-11-26[Ada] Ada 2020 AI12-0401 Renaming of qualified expression of variableArnaud Charlet1-0/+16
2020-11-26[Ada] Reuse Is_Generic_Subprogram where possiblePiotr Trojanek1-3/+2
2020-11-26[Ada] Reuse Is_Concurrent_Type when detecting protected or task typesPiotr Trojanek1-1/+1
2020-11-24[Ada] Reuse Is_Packed_Array where possiblePiotr Trojanek1-2/+1
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