From: Marc Poulhiès <poulhies@adacore.com>
Date: Mon, 20 Sep 2021 14:33:30 +0000 (+0200)
Subject: [Ada] Do not clear Analyzed flag in expand if already set by preanalysis
X-Git-Tag: basepoints/gcc-13~4021
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4dc82cc768d0f0bdf0ee6f5a3d53e3740ea890cf;p=thirdparty%2Fgcc.git

[Ada] Do not clear Analyzed flag in expand if already set by preanalysis

gcc/ada/

	* expander.adb (Expand): Skip clearing of Analyzed flag if
	already set for N_Real_Literal.
---

diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb
index e0483b7d029b..75c0edb6333a 100644
--- a/gcc/ada/expander.adb
+++ b/gcc/ada/expander.adb
@@ -49,6 +49,7 @@ with Sem_Ch8;        use Sem_Ch8;
 with Sem_Util;       use Sem_Util;
 with Sinfo;          use Sinfo;
 with Sinfo.Nodes;    use Sinfo.Nodes;
+with Stand;          use Stand;
 with Table;
 
 package body Expander is
@@ -152,7 +153,19 @@ package body Expander is
       --  not take place. This prevents cascaded errors due to stack mismatch.
 
       elsif not Expander_Active then
-         Set_Analyzed (N, Full_Analysis);
+
+         --  Do not clear the Analyzed flag if it has been set on purpose
+         --  during preanalysis in Fold_Ureal. In that case, the Etype field
+         --  in N_Real_Literal will be set to something different than
+         --  Universal_Real.
+
+         if Full_Analysis
+           or else not (Nkind (N) = N_Real_Literal
+                          and then Present (Etype (N))
+                          and then Etype (N) /= Universal_Real)
+         then
+            Set_Analyzed (N, Full_Analysis);
+         end if;
 
          if Serious_Errors_Detected > 0 and then Scope_Is_Transient then
             Scope_Stack.Table