From: Viljar Indus <indus@adacore.com>
Date: Thu, 16 Jan 2025 19:40:54 +0000 (+0200)
Subject: ada: Ensure a limited type is marking the packing as used
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=efb51d68abc06a9f5815318343164c8d2a78863c;p=thirdparty%2Fgcc.git

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 --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index c16e0453ec1..a735637d0e3 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