aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-32/+50
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-9/+16
2020-11-25[Ada] Fix internal compilation error on circular type in SPARK codeYannick Moy1-2/+2
2020-11-24[Ada] Fix crash in GNATprove on inlined subprogram in default expressionYannick Moy1-1/+1
2020-10-23[Ada] Spurious errors on tagged types with renamed subprogramsJavier Miranda1-3/+11
2020-10-22[Ada] ACATS 4.1H - B853001 - missed errors for renamed limitedJavier Miranda1-1/+2
2020-10-22[Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird1-0/+8
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-13/+20
2020-10-21[Ada] Fix typos and style in comments related to Default_Initial_ConditionPiotr Trojanek1-1/+1
2020-10-21[Ada] Spurious error in taft ammendment derivation of CPP typeJavier Miranda1-0/+7
2020-10-20[Ada] Refine type for type constraining routinesPiotr Trojanek1-10/+10
2020-10-20[Ada] Propagate predicate function to a full view of a private subtypePiotr Trojanek1-0/+10
2020-10-16[Ada] Unique itypes names for unconstrained array object declarationPiotr Trojanek1-1/+6
2020-10-16[Ada] Cleanup related to itypes for unconstrained object declarationPiotr Trojanek1-21/+15
2020-10-15[Ada] Get finalization right when a function returns a function callSteve Baird1-2/+10
2020-10-15[Ada] Cleanup defensive guards for Null_Exclusion_PresentPiotr Trojanek1-11/+13
2020-10-15[Ada] Bring defensive guard for Null_Exclusion_Present up to datePiotr Trojanek1-9/+13
2020-10-15[Ada] Explain predicate function not being inherited by index typePiotr Trojanek1-10/+15
2020-10-15[Ada] Avoid unnecessary (re)assignments in Make_InfoPiotr Trojanek1-15/+12
2020-10-15[Ada] Remove excessive defensive calls to Is_TypePiotr Trojanek1-3/+1
2020-10-15[Ada] Refine type from Nat to Pos in Make_IndexPiotr Trojanek1-5/+5
2020-10-15[Ada] Fix range check on constrained array with expanded index namePiotr Trojanek1-2/+2
2020-07-27[Ada] Switch Ada_Version_Runtime to Ada 2020Arnaud Charlet1-0/+2
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-116/+106
2020-07-27[Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042Gary Dismukes1-9/+6
2020-07-16[Ada] Do not perform null exclusion static checks on generated entitiesGhjuvan Lacambre1-1/+1
2020-07-16[Ada] AI12-0042: Type invariant checking rulesGary Dismukes1-1/+75
2020-07-15[Ada] Do not generate elaboration code for alignment aspectEric Botcazou1-2/+2
2020-07-15[Ada] Fix oversight in Delayed_Aspect_Present predicateEric Botcazou1-2/+4
2020-07-10[Ada] Cleanup excessive conditions in Check_CompletionPiotr Trojanek1-15/+17
2020-07-10[Ada] Remove references to non-existing E_Protected_ObjectPiotr Trojanek1-8/+2
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-2/+1
2020-07-10[Ada] Revert too late setting of Ekind on discriminantsPiotr Trojanek1-3/+6
2020-07-10[Ada] Fix failing assertions related to volatile objectsPiotr Trojanek1-2/+2
2020-07-06[Ada] Crash on declaration with aggregate for unchecked unionEd Schonberg1-10/+20
2020-06-19[Ada] Fix small fallout of previous change for Analyze_Selected_ComponentEric Botcazou1-2/+5
2020-06-19[Ada] Small cleanup in Apply_Range_Check implementationEric Botcazou1-41/+23
2020-06-18[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-6/+20
2020-06-18[Ada] Cleanups in code related to static expressionsPiotr Trojanek1-1/+1
2020-06-18[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+5
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+11
2020-06-17[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+6
2020-06-17[Ada] Various typo corrections plus minor reformattingGary Dismukes1-15/+13
2020-06-17[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-0/+156
2020-06-17[Ada] Remove unnecessary special-casing of GNATprove expansionPiotr Trojanek1-2/+2
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-16[Ada] Implement AI12-0351 Matching for actuals for formal derived typesEric Botcazou1-42/+53
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-1/+10
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-1/+1
2020-06-12[Ada] Simplify getting discriminant value from a list of constraintsPiotr Trojanek1-8/+12
generated by cgit v1.1 at 2025-03-30 06:19:10 +0000