From: Bob Duff <duff@adacore.com>
Date: Tue, 19 Aug 2025 16:22:38 +0000 (-0400)
Subject: ada: Fix regression in Root_Type -- adjustment
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f1887efb6df1db8986bbb34ae1b9bf5525cb51bc;p=thirdparty%2Fgcc.git

ada: Fix regression in Root_Type -- adjustment

Recent changes "Fix regression in Root_Type" and
"Crash on b3a1004 with assertions enabled" are partially
redundant; they are addressing the same bug.
This patch adjusts the former in the case of Root_Type.
But we leave Root_Type_If_Set alone; debugging printouts
should survive bugs when possible.

gcc/ada/ChangeLog:

	* einfo-utils.adb (Root_Type): Do not deal with missing Etype.
---

diff --git a/gcc/ada/einfo-utils.adb b/gcc/ada/einfo-utils.adb
index 450d4c36b21..290ae331d37 100644
--- a/gcc/ada/einfo-utils.adb
+++ b/gcc/ada/einfo-utils.adb
@@ -2585,11 +2585,7 @@ package body Einfo.Utils is
             loop
                Etyp := Etype (T);
 
-               if No (Etyp) then
-                  Check_Error_Detected;
-               end if;
-
-               exit when No (Etyp) or else T = Etyp
+               exit when T = Etyp
                  or else
                    (Is_Private_Type (T) and then Etyp = Full_View (T))
                  or else