From: Javier Miranda <miranda@adacore.com>
Date: Mon, 28 Aug 2023 19:14:39 +0000 (+0000)
Subject: ada: Assertion failure on calculation of Large_Max_Size_Mutable
X-Git-Tag: basepoints/gcc-15~6152
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=61231464d7a0c36ff80e2e2aea2c2d512420f494;p=thirdparty%2Fgcc.git

ada: Assertion failure on calculation of Large_Max_Size_Mutable

gcc/ada/

	* sem_util.adb (Large_Max_Size_Mutable): Protect access to
	attribute Is_Array_Type.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 3229f4e9dd2b..cc9dcb30b180 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -22580,7 +22580,9 @@ package body Sem_Util is
                      Ityp : Entity_Id;
 
                   begin
-                     if Is_Array_Type (Comp_Type) then
+                     if Present (Comp_Type)
+                       and then Is_Array_Type (Comp_Type)
+                     then
                         Indx := First_Index (Comp_Type);
 
                         while Present (Indx) loop