[Ada] Missing errors on aspect checking
authorArnaud Charlet <charlet@adacore.com>
Wed, 25 Mar 2020 10:15:26 +0000 (06:15 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 15 Jun 2020 08:04:34 +0000 (04:04 -0400)
commit98376aab0368fd9a1a3c7393f302002cc5d30506
tree709e1e8a5d6b671ce13bc19c8a896448f3b3bc9f
parent3830018cc6df5335be14cf98d31c15b58ab328b9
[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.
gcc/ada/aspects.ads
gcc/ada/sem_attr.adb
gcc/ada/sem_ch13.adb