From: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date: Fri, 26 Dec 2025 22:10:15 +0000 (+0100)
Subject: Ada: Adjust fix for internal error on illegal aggregate for private type
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e649a5f5d98483cb184afa084838a2e89803fab;p=thirdparty%2Fgcc.git

Ada: Adjust fix for internal error on illegal aggregate for private type

This adds a more robust guard to Resolve_Record_Aggregate.

gcc/ada/
	PR ada/123088
	* sem_aggr.adb (Resolve_Record_Aggregate): Add more robust guard.
---

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 308bca60298..729835053ed 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -6645,10 +6645,10 @@ package body Sem_Aggr is
 
          --  Typ is not a derived tagged type
 
-         else
+         elsif Nkind (Parent (Base_Type (Typ))) = N_Full_Type_Declaration then
             Record_Def := Type_Definition (Parent (Base_Type (Typ)));
 
-            if No (Record_Def) or else Null_Present (Record_Def) then
+            if Null_Present (Record_Def) then
                null;
 
             --  Explicitly add here mutably class-wide types because they do