diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-10 00:01:44 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:58:55 -0400 |
| commit | 8cb66f960911050e557629447a0cacfab5fc68b1 (patch) | |
| tree | b8ea2763546e34692ce979cecf33147062629714 | |
| parent | 9fdbcec69455b783f6d4d14f9abe2d33d6376be8 (diff) | |
| download | gcc-8cb66f960911050e557629447a0cacfab5fc68b1.zip gcc-8cb66f960911050e557629447a0cacfab5fc68b1.tar.gz gcc-8cb66f960911050e557629447a0cacfab5fc68b1.tar.bz2 | |
[Ada] Fix SPARK expansion of iterated_component_assoc in delta aggregate
gcc/ada/
* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Add missing call
to Enter_Name, just like it is called for
iterated_component_association in Expand_SPARK_N_Aggregate.
| -rw-r--r-- | gcc/ada/exp_spark.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index 5e1fac2..3041c73 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -227,6 +227,7 @@ package body Exp_SPARK is if Nkind (Assoc) = N_Iterated_Component_Association then Push_Scope (Scope (Defining_Identifier (Assoc))); + Enter_Name (Defining_Identifier (Assoc)); Analyze_And_Resolve (Expr, Comp_Type); end if; |