diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-03-25 06:15:26 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-15 04:04:34 -0400 |
| commit | 98376aab0368fd9a1a3c7393f302002cc5d30506 (patch) | |
| tree | 709e1e8a5d6b671ce13bc19c8a896448f3b3bc9f /gcc/ada/aspects.ads | |
| parent | 3830018cc6df5335be14cf98d31c15b58ab328b9 (diff) | |
| download | gcc-98376aab0368fd9a1a3c7393f302002cc5d30506.zip gcc-98376aab0368fd9a1a3c7393f302002cc5d30506.tar.gz gcc-98376aab0368fd9a1a3c7393f302002cc5d30506.tar.bz2 | |
[Ada] Missing errors on aspect checking
2020-06-15 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_attr.adb (Eval_Attribute): Protect against previous
errors.
* sem_ch13.adb (Analyze_Aspect_Default_Value): Remove redundant
error checking, handling in Analyze_Aspect_Specifications.
(Analyze_Aspect_Specifications): Refine error messages on
Default_[Component_]Value.
(Check_Aspect_Too_Late): New procedure.
(Rep_Item_Too_Late.Is_Derived_Type_With_Constraint): Remove,
dead code.
* aspects.ads (Is_Representation_Aspect): Default_Value is a
representation aspect.
Diffstat (limited to 'gcc/ada/aspects.ads')
| -rw-r--r-- | gcc/ada/aspects.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index 383a528..1c7d3c4 100644 --- a/gcc/ada/aspects.ads +++ b/gcc/ada/aspects.ads @@ -450,7 +450,7 @@ package Aspects is Aspect_Default_Initial_Condition => False, Aspect_Default_Iterator => False, Aspect_Default_Storage_Pool => True, - Aspect_Default_Value => False, + Aspect_Default_Value => True, Aspect_Depends => False, Aspect_Dimension => False, Aspect_Dimension_System => False, |