From: Javier Miranda <miranda@adacore.com>
Date: Wed, 25 Feb 2026 18:08:37 +0000 (+0000)
Subject: ada: Crash on wrong renaming of record field
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=c8985e8fcfb01e481e12048edae195e4b367b78a;p=thirdparty%2Fgcc.git

ada: Crash on wrong renaming of record field

gcc/ada/ChangeLog:

	* sem_ch8.adb (Find_Renamed_Entity): Protect call to First_Formal.
---

diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index 66d4b355bbf..3256653b6a7 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -8163,7 +8163,8 @@ package body Sem_Ch8 is
                Old_S := Entity (Nam);
             end if;
 
-         elsif Present (First_Formal (Entity (Nam)))
+         elsif Can_Have_Formals (Entity (Nam))
+           and then Present (First_Formal (Entity (Nam)))
            and then Present (First_Formal (New_S))
            and then Base_Type (Etype (First_Formal (Entity (Nam)))) =
                     Base_Type (Etype (First_Formal (New_S)))