From 19367d7d8fb94f4157f6c1406473de7cff5ca149 Mon Sep 17 00:00:00 2001 From: Viljar Indus Date: Wed, 16 Oct 2024 12:01:38 +0300 Subject: ada: Avoid unused with warning with Extend_System When the Extend_System pragma is used then we are supposed to check the extended system for referenced entities. Otherwise we would get an incorrect unused with warning. This was previously done on body files but it should also be done specs as well. gcc/ada/ChangeLog: * sem_warn.adb (Check_One_Unit): When a system extension is present always check entities from that unit before marking the unit unreferenced. --- gcc/ada/sem_warn.adb | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'gcc') diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 69e60be..2ffd631 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -2583,14 +2583,17 @@ package body Sem_Warn is if No (Ent) then + -- Check entities in the extended system if + -- specified. + + if Check_System_Aux (Lunit) then + null; + -- If in spec, just set the flag - if Unit = Spec_Unit then + elsif Unit = Spec_Unit then Set_No_Entities_Ref_In_Spec (Item); - elsif Check_System_Aux (Lunit) then - null; - -- Else the warning may be needed else -- cgit v1.1