aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2020-10-21[Ada] Make minimum accessibility level a constant objectPiotr Trojanek1-1/+2
2020-10-20[Ada] Add support for Unreferenced aspect on formal parametersArnaud Charlet1-3/+24
2020-10-20[Ada] Inlining nonstatic calls to static expression functionsGary Dismukes1-0/+6
2020-10-19[Ada] AI12-0352: Early derivation and equality of untagged typesArnaud Charlet1-2/+19
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-2/+0
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-106/+99
2020-07-16[Ada] Ada2020: AI12-0289 Implicitly null excluding anon accessBob Duff1-21/+55
2020-07-16[Ada] Incorrect static accessibility error in return aggregateJustin Squirek1-4/+14
2020-07-15[Ada] Missing error on operator callArnaud Charlet1-0/+4
2020-07-15[Ada] Extend static functionsArnaud Charlet1-1/+1
2020-07-10[Ada] Fix internal error on if-expression in call returning tagged typeEric Botcazou1-3/+3
2020-07-08[Ada] Static expression function problems with -gnatc and -gnatd.F (SPARK mode)Gary Dismukes1-0/+13
2020-07-07[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed #2Arnaud Charlet1-13/+51
2020-07-07[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprogramsArnaud Charlet1-60/+4
2020-06-19[Ada] Spurious error on private type in ghost expression functionEd Schonberg1-1/+6
2020-06-19[Ada] ACATS 4.1G - C760A02 - Near infinite finalizationJavier Miranda1-1/+28
2020-06-18[Ada] ACATS 4.1J - B854003 - Subtype conformance check missedArnaud Charlet1-10/+33
2020-06-17[Ada] Add assertions to Preserve_Comes_From_Source and reuse itPiotr Trojanek1-1/+1
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+31
2020-06-17[Ada] Remove unnecessary special-casing of GNATprove expansionPiotr Trojanek1-7/+1
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-2/+26
2020-06-16[Ada] ACATS 4.1P - BC55001 - Error missedArnaud Charlet1-3/+1
2020-06-16[Ada] Fix two typosGary Dismukes1-1/+1
2020-06-15[Ada] Implement AI12-0343 Return Statement ChecksEric Botcazou1-3/+15
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-16/+4
2020-06-12[Ada] Fix handling of subprograms declared in a protected bodyArnaud Charlet1-50/+199
2020-06-12[Ada] Diagnose illegal overriding indicators in protected bodiesEd Schonberg1-0/+13
2020-06-12[Ada] Reuse Is_Entry where possiblePiotr Trojanek1-1/+1
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-5/+66
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-2/+2
2020-06-11[Ada] Update SPARK RM rule numbers after removing a redundant rulePiotr Trojanek1-1/+1
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-18/+0
2020-06-09[Ada] Missing check on private overriding of dispatching primitiveJavier Miranda1-0/+12
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-83/+0
2020-06-04[Ada] Get rid of Disable_FE_Inline_AlwaysArnaud Charlet1-2/+1
2020-06-04[Ada] Missing accessibility check on access discriminant in extended returnJustin Squirek1-22/+39
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy1-0/+9
2020-06-03[Ada] Incorrect accessibility checking on aliased formalsJustin Squirek1-22/+33
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-6/+5
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Spurious accessibility error on return aggregate in GNATprove modeJustin Squirek1-26/+23
2020-05-25[Ada] Spurious accessibility error on return aggregate in GNATprove modeJustin Squirek1-12/+12
2019-12-18[Ada] Missing accessibility check on access discriminantsJustin Squirek1-46/+176
2019-12-16[Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou1-0/+5
2019-12-13[Ada] Spurious error on overriding controlled primitiveJustin Squirek1-6/+23
2019-12-12[Ada] Tighten up semantic checking for protected subprogram declarationsSteve Baird1-13/+46
2019-10-10[Ada] Various minor typo fixesGary Dismukes1-3/+3
2019-10-10[Ada] Fix awkward placement of freeze node for actual subtypeEric Botcazou1-1/+1
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek1-0/+120
2019-09-17[Ada] Adding assertions on extra formals for BIP function callsJavier Miranda1-2/+1
generated by cgit v1.1 at 2025-02-19 17:10:52 +0000