[COMMITTED] ada: Fix decoration of iterated component association for GNATprove
Checks
Commit Message
From: Piotr Trojanek <trojanek@adacore.com>
This patch is an alternative solution for a recent fix in analysis of
iterated component association.
To recap, if the iterated expression is an aggregate, we want to
propagate the component type downward with a call to Resolve_Aggr_Expr;
otherwise we want this expression to be only preanalysed (since the
association might need to be repeatedly evaluated), but also we need to
apply predicate and range checks to the expression itself (these are
required for GNATprove).
It turns out that Resolve_Aggr_Expr already knows how to deal with a
nested aggregate and also works for GNATprove, where it both preanalyzes
the expression and applies necessary checks.
In other words, expression of the iterated component association is now
resolved just like expression of an ordinary array aggregate.
gcc/ada/
* sem_aggr.adb (Resolve_Iterated_Component_Association): Simply resolve
the expression.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_aggr.adb | 9 +--------
1 file changed, 1 insertion(+), 8 deletions(-)
@@ -1862,14 +1862,7 @@ package body Sem_Aggr is
Expr := Expression (N);
- if Nkind (Expr) = N_Aggregate then
- -- If the expression is an aggregate, this is a multidimensional
- -- aggregate where the component type must be propagated downward.
-
- Dummy := Resolve_Aggr_Expr (Expr, Single_Elmt => False);
- else
- Preanalyze_And_Resolve (Expr, Component_Typ);
- end if;
+ Dummy := Resolve_Aggr_Expr (Expr, Single_Elmt => False);
if Operating_Mode /= Check_Semantics then
Remove_References (Expr);