Ada: Fix ICE when building spawn-25.0.0 with GTK support

This is a regression introduced on the mainline by the freezing change for
the designated type of anonymous access-to-subprogram types, which has
uncovered a small oversight in Analyze_Subprogram_Instantiation, whereby
we propagate the Convention of the generic subprogram onto the named actual
only, and not onto the anonymous actual built alongside the named one.

gcc/ada/
	PR ada/123062
	* sem_ch12.adb (Analyze_Subprogram_Instantiation): Also propagate
	the Convention and Is_Exported flag onto the anonymous actual.
This commit is contained in:
Eric Botcazou
2025-12-11 15:58:37 +01:00
parent 765ca91339
commit 8f36f3944b

View File

@@ -7090,7 +7090,10 @@ package body Sem_Ch12 is
and then Convention (Gen_Unit) /= Convention_Intrinsic
then
Set_Convention (Act_Decl_Id, Convention (Gen_Unit));
Set_Convention (Anon_Id, Convention (Gen_Unit));
Set_Is_Exported (Act_Decl_Id, Is_Exported (Gen_Unit));
Set_Is_Exported (Anon_Id, Is_Exported (Gen_Unit));
end if;
Generate_Definition (Act_Decl_Id);