aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-10[Ada] Add warning for overlays changing scalar storage orderEric Botcazou1-4/+6
2020-07-10[Ada] Reformatting and typo correctionsGary Dismukes1-15/+15
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-4/+4
2020-07-10[Ada] Part of implementation of AI12-0212: container aggregatesEd Schonberg1-2/+298
2020-07-08[Ada] Minor reformatting and typo fixGary Dismukes1-1/+1
2020-07-08[Ada] Accept aspect Relaxed_Initialization on generic subprogramsPiotr Trojanek1-6/+10
2020-07-08[Ada] Analyze aspects once generic subprograms are recognizedPiotr Trojanek1-16/+0
2020-07-08[Ada] Disallow Predicate_Failure without predicateBob Duff1-10/+6
2020-07-08[Ada] Add expected and actual size to "bit number out of range" error messageGhjuvan Lacambre1-4/+8
2020-07-08[Ada] Allow boolean expressions in aspect Relaxed_InitializationPiotr Trojanek1-4/+40
2020-07-08[Ada] Check predicates for subtypes of private typesBob Duff1-0/+15
2020-07-07[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clausesGhjuvan Lacambre1-0/+7
2020-07-07[Ada] Allow aspect Relaxed_Initialization on protected entriesPiotr Trojanek1-1/+1
2020-07-06[Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive operationsArnaud Charlet1-35/+36
2020-07-06[Ada] Wording problems with predicates (AI12-0099)Gary Dismukes1-0/+3
2020-06-18[Ada] Missing error on aspects Input and OutputJavier Miranda1-23/+10
2020-06-17[Ada] Additional legality rule for indexing operation for derived typeEd Schonberg1-2/+34
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+100
2020-06-17[Ada] Support aspect Relaxed_Initialization on private types and constantsPiotr Trojanek1-2/+33
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+132
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-1/+154
2020-06-16[Ada] Fix assertion failure on qualified type names in predicatesPiotr Trojanek1-1/+1
2020-06-15[Ada] Fix analysis of Relaxed_Initialization for bodies-as-specsPiotr Trojanek1-10/+22
2020-06-15[Ada] Missing errors on aspect checkingArnaud Charlet1-94/+143
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-0/+183
2020-06-12[Ada] ACATS 4.2Q - BDD2007Arnaud Charlet1-0/+11
2020-06-12[Ada] ACATS 4.1Q - CDD2A04 - RLS not followedArnaud Charlet1-5/+5
2020-06-12[Ada] Small cleanup in handling of Ada 2012 implicit dereferencesEric Botcazou1-2/+3
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-1/+10
2020-06-11[Ada] Fix unnesting crash with Predicate_Failure/no predBob Duff1-2/+0
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-18/+6
2020-06-10[Ada] Simplify detection of static membership choicesPiotr Trojanek1-5/+10
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-16/+50
2020-06-08[Ada] AI12-0085 Missing aspect cases for Remote_TypesArnaud Charlet1-0/+13
2020-06-08[Ada] Style cleanups in new code for Pure_BarriersPiotr Trojanek1-3/+5
2020-06-08[Ada] Implement AI12-0290 (Simple_Barriers restriction)Steve Baird1-56/+64
2020-06-08[Ada] Ada_2020: shared variable control aspects on formal derived typesEd Schonberg1-1/+5
2020-06-04[Ada] Put_Image attributeBob Duff1-6/+302
2020-06-04[Ada] Alignment clause ignored on completion derived from private typeEric Botcazou1-8/+5
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-4/+4
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-145/+41
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Address potentially uninitialized variables and dead codeArnaud Charlet1-3/+4
2020-06-02[Ada] Fix bogus error for clause on derived type with variant partEric Botcazou1-1/+5
2019-12-18[Ada] AI12-0282: shared variable control aspects on formal typesEd Schonberg1-6/+26
2019-12-16[Ada] Do not set a bogus Esize on subtype built for Component_Size clauseEric Botcazou1-1/+1
2019-12-16[Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou1-4/+7
2019-12-13[Ada] Spurious error on precondition of subprogram instantiationJavier Miranda1-1/+4
2019-12-13[Ada] Implement AI12-0109 (prohibit some "early" derivations)Steve Baird1-18/+96
2019-12-13[Ada] New flag to indicate whether aspect appears on partial viewEd Schonberg1-0/+9
generated by cgit v1.1 at 2024-08-19 14:08:51 +0000