aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.adb
AgeCommit message (Expand)AuthorFilesLines
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-7/+14
2020-10-20[Ada] Replace low-level Ekind membership tests with high-level Is_FormalPiotr Trojanek1-1/+1
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-6/+21
2020-10-19[Ada] Remove excessive guards in building predicate functionsPiotr Trojanek1-4/+4
2020-10-19[Ada] Reject use of Relaxed_Initialization on scalar/access param or resultYannick Moy1-0/+23
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-1/+1
2020-10-16[Ada] Ada2020: AI12-0129 Make protected objects more protectingArnaud Charlet1-2/+17
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-11/+11
2020-10-15[Ada] Double evaluation of predicateArnaud Charlet1-1/+1
2020-10-15[Ada] Ada2020: AI12-0180 Using subprograms and entries in invariantsBob Duff1-10/+14
2020-10-15[Ada] Ada_2020: Add aspect Aggregate to standard container unitsEd Schonberg1-8/+23
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-67/+62
2020-07-27[Ada] Warnings on overloays involving generic In_ParametersEd Schonberg1-0/+4
2020-07-23[Ada] Ada2020: AI12-0027 Access values and unaliased componentArnaud Charlet1-215/+228
2020-07-16[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPUBob Duff1-1/+18
2020-07-16[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restrictionBob Duff1-74/+56
2020-07-16[Ada] AI12-0373 Additional check on Integer_Literal functionArnaud Charlet1-2/+12
2020-07-16[Ada] Handle N_Others_Choice case in range-building functionGhjuvan Lacambre1-0/+19
2020-07-16[Ada] Spurious accessibility error on allocator in generic instanceJustin Squirek1-1/+1
2020-07-15[Ada] Spurious error on Predicate_Failure aspectArnaud Charlet1-0/+2
2020-07-15[Ada] Mention -gnat2020 in error messageArnaud Charlet1-1/+2
2020-07-15[Ada] Do not generate elaboration code for alignment aspectEric Botcazou1-4/+17
2020-07-15[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforcedArnaud Charlet1-3/+118
2020-07-15[Ada] Extend static functionsArnaud Charlet1-7/+59
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
generated by cgit v1.1 at 2025-02-19 17:40:26 +0000