https://gcc.gnu.org/g:efb51d68abc06a9f5815318343164c8d2a78863c
commit r16-5467-gefb51d68abc06a9f5815318343164c8d2a78863c Author: Viljar Indus <[email protected]> Date: Thu Jan 16 21:40:54 2025 +0200 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. Diff: --- gcc/ada/sem_ch4.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index c16e0453ec14..a735637d0e3d 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -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
