[gcc r12-5016] [Ada] Guard against illegal items in Global but not Depends

[gcc r12-5016] [Ada] Guard against illegal items in Global but not Depends

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:9c8bb4d68240c2449c8ec9532f683cdad5bbbdbd

commit r12-5016-g9c8bb4d68240c2449c8ec9532f683cdad5bbbdbd
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Oct 25 16:33:24 2021 +0200

    [Ada] Guard against illegal items in Global but not Depends
    
    gcc/ada/
    
            * sem_prag.adb (Check_Usage): Guard against calling Usage_Error
            with illegal Item_Id. The intention to do this was already
            described in the comment but not implemented.

Diff:
---
 gcc/ada/sem_prag.adb | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 10ad82fd8a4..1c048145bb4 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -1684,7 +1684,15 @@ package body Sem_Prag is
                --  States and global objects are not used properly only when
                --  the subprogram is subject to pragma Global.
 
-               elsif Global_Seen then
+               elsif Global_Seen
+                 and then Ekind (Item_Id) in E_Abstract_State
+                                           | E_Constant
+                                           | E_Loop_Parameter
+                                           | E_Protected_Type
+                                           | E_Task_Type
+                                           | E_Variable
+                                           | Formal_Kind
+               then
                   Usage_Error (Item_Id);
                end if;
             end if;