aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.adb
AgeCommit message (Expand)AuthorFilesLines
2022-05-19[Ada] Avoid internal compiler error for illegal Predicate_Failure aspect specSteve Baird1-1/+4
2022-05-19[Ada] Ignore Predicate_Failure in CodePeer modeDaniel Mercier1-0/+1
2022-05-19[Ada] Ignore Predicate_Failure in GNATprove modePiotr Trojanek1-1/+7
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-275/+290
2022-05-18[Ada] Improve error messages for occurrence of GNAT extensions without -gnatXGary Dismukes1-14/+4
2022-05-17[Ada] Deal with derived record types in Has_Compatible_RepresentationEric Botcazou1-0/+10
2022-05-17[Ada] Streamline implementation of Has_Compatible_RepresentationEric Botcazou1-35/+18
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou1-38/+2
2022-05-13[Ada] Storage_Model_Object fails to return object entityGary Dismukes1-1/+5
2022-05-11[Ada] Properly reject unsupported address specificationsSteve Baird1-13/+38
2022-05-10[Ada] Fix typo in comment for Is_Predicate_StaticEtienne Servais1-1/+1
2022-05-09[Ada] Fix indentation of "Start of processing for ..." labelsPiotr Trojanek1-1/+1
2022-05-09[Ada] Properly handle unprefixed references to componentsSteve Baird1-17/+16
2022-01-11[Ada] Reuse Make_Temporary where possiblePiotr Trojanek1-2/+1
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Code cleanupsArnaud Charlet1-3/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-1/+1
2022-01-07[Ada] Remove extra space before THEN keywordsPiotr Trojanek1-1/+1
2022-01-07[Ada] Use non-internal representation for access subprograms if UC to AddressRichard Kenner1-0/+16
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-5/+5
2021-12-02[Ada] Remove extra space after assignment symbolPiotr Trojanek1-1/+1
2021-12-02[Ada] Simplify iteration over record componentsPiotr Trojanek1-17/+9
2021-11-10[Ada] Avoid warnings regarding rep clauses in genericsBob Duff1-2/+4
2021-11-10[Ada] ACATS BDC1002 shall not error on arbitrary aspectEtienne Servais1-1/+1
2021-11-09[Ada] Errors on globals in expressions of predicate aspects in generic bodiesGary Dismukes1-0/+29
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-19/+20
2021-10-25[Ada] Remove more uses of exception propagation during bootstrapArnaud Charlet1-53/+82
2021-10-25[Ada] Issue error on invalid use of Ghost inside pragma PredicateYannick Moy1-0/+22
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-2/+4
2021-10-11[Ada] Warn about conversion with any predefined time typesPiotr Trojanek1-26/+36
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes1-3/+547
2021-10-04[Ada] Handle properly user_defined literals given by operators.Ed Schonberg1-2/+18
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+40
2021-09-22[Ada] Add adequate guard before calling First_Rep_ItemYannick Moy1-1/+4
2021-09-22[Ada] Fix infinite loop in compilation of illegal codeYannick Moy1-1/+2
2021-09-22[Ada] Fix access to predicated parent in ItypeYannick Moy1-0/+3
2021-09-22[Ada] Fix obsolete comments/name referring to girder discriminantsYannick Moy1-2/+2
2021-09-21[Ada] Fix regression in ACATS bdd2006 and bdd2007Bob Duff1-6/+11
2021-09-21[Ada] Add assertions to UintpBob Duff1-3/+17
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-13/+14
2021-09-21[Ada] Enforce legality rule for Predicate_Failure aspect specificationsSteve Baird1-0/+26
2021-09-20[Ada] Present and No functions for type UintBob Duff1-17/+17
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-31/+26
2021-09-20[Ada] Minor style fixes in Resolve_Aspect_AggregatePiotr Trojanek1-9/+11
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-0/+11
2021-07-12[Ada] Clean up Uint fieldsBob Duff1-9/+17
2021-07-12[Ada] Duplicate Size/Value_Size clauseBob Duff1-13/+54
2021-07-09[Ada] Inconsistency between declaration and body of predicate functionsArnaud Charlet1-17/+26
2021-07-08[Ada] Remove Unknown_ functionsBob Duff1-1/+1