Ada: Fix assertion failure with iterator in container aggregate

It's just a missing test for the presence of a nonempty parameter.

gcc/ada/
	PR ada/118731
	* sem_aggr.adb (Resolve_Iterated_Association): Add missing guard.

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index f6db5cb97a4a39a3f31841fb2ff02ba60d12a2f4..a7ec772823f6bf89670dd4a8c1a3283546625bd1 100644 (file)
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -3933,6 +3933,7 @@ package body Sem_Aggr is
 
             if Is_Entity_Name (Choice)
               and then Is_Type (Entity (Choice))
+              and then Present (Key_Type)
               and then Base_Type (Entity (Choice)) = Base_Type (Key_Type)
             then
                null;