From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 9 Sep 2020 22:01:44 +0000 (+0200)
Subject: [Ada] Fix SPARK expansion of iterated_component_assoc in delta aggregate
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8cb66f960911050e557629447a0cacfab5fc68b1;p=gcc.git

[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.
---

diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb
index 5e1fac210b7..3041c736a2f 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;