From 18b267aeeb126290355ec394fbc0f6a1fba1f340 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 20 May 2021 06:40:48 -0400 Subject: [PATCH] [Ada] Front-end inlining and instantiations of UC gcc/ada/ * sem_ch12.adb (Analyze_Subprogram_Instantiation): Mark Anon_Id intrinsic before calling Analyze_Instance_And_Renamings because this flag may be propagated to other nodes. --- gcc/ada/sem_ch12.adb | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 1c8f64e..bf51ce9 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -5796,6 +5796,14 @@ package body Sem_Ch12 is Set_SPARK_Mode (Gen_Unit); end if; + -- Need to mark Anon_Id intrinsic before calling + -- Analyze_Instance_And_Renamings because this flag may be propagated + -- to other nodes. + + if Is_Intrinsic_Subprogram (Gen_Unit) then + Set_Is_Intrinsic_Subprogram (Anon_Id); + end if; + Analyze_Instance_And_Renamings; -- Restore SPARK_Mode from the context after analysis of the package @@ -5817,7 +5825,6 @@ package body Sem_Ch12 is -- not within the main unit. if Is_Intrinsic_Subprogram (Gen_Unit) then - Set_Is_Intrinsic_Subprogram (Anon_Id); Set_Is_Intrinsic_Subprogram (Act_Decl_Id); if Chars (Gen_Unit) = Name_Unchecked_Conversion then -- 2.7.4