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 3229f4e9dd2bdb560a9f30943d3fe63df586d5fc..cc9dcb30b180f23f918fcc087d7b2d17dc8921a7 100644 (file)
--- 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