ada: Ensure a limited type is marking the packing as used

gcc/ada/ChangeLog:

	* sem_ch4.adb (Analyze_Call): ensure we generate a reference to the
	non limited view of the return type to avoid scenarios where
	the with-ed unit is not considered referenced.
This commit is contained in:
Viljar Indus
2025-01-16 21:40:54 +02:00
committed by Marc Poulhiès
parent f9c01c47f8
commit efb51d68ab

View File

@@ -1626,6 +1626,7 @@ package body Sem_Ch4 is
or else Is_Thunk (Current_Scope))
then
Set_Etype (N, Non_Limited_View (Etype (N)));
Generate_Reference (Scope (Etype (N)), N);
-- If there is no completion for the type, this may be because
-- there is only a limited view of it and there is nothing in