From 8cb66f960911050e557629447a0cacfab5fc68b1 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 10 Sep 2020 00:01:44 +0200 Subject: [PATCH] [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. --- gcc/ada/exp_spark.adb | 1 + 1 file changed, 1 insertion(+) 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; -- 2.30.2