[gcc r13-3655] ada: Reject expanded global names in lock-free protected objects

[gcc r13-3655] ada: Reject expanded global names in lock-free protected objects

[Marc Poulhi?s]

https://gcc.gnu.org/g:da1207fff99c4c20051d6f5e0f567da4335fc9a4

commit r13-3655-gda1207fff99c4c20051d6f5e0f567da4335fc9a4
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Oct 3 23:16:19 2022 +0200

    ada: Reject expanded global names in lock-free protected objects
    
    Lock-free expansion of protected subprograms is only possible when there
    are no references to global assignable objects. We only detected such
    references when they appeared as direct names, but we must similarly
    detect expanded names.
    
    gcc/ada/
    
            * sem_ch9.adb (Satisfies_Lock_Free_Requirements): Detect
            references via expanded names.

Diff:
---
 gcc/ada/sem_ch9.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb
index f2a59017865..5dee216256c 100644
--- a/gcc/ada/sem_ch9.adb
+++ b/gcc/ada/sem_ch9.adb
@@ -463,7 +463,7 @@ package body Sem_Ch9 is
 
                   --  References
 
-                  elsif Kind = N_Identifier
+                  elsif Kind in N_Identifier | N_Expanded_Name
                     and then Present (Entity (N))
                   then
                      declare
@@ -564,7 +564,7 @@ package body Sem_Ch9 is
                   --  reference only one component of the protected type, plus
                   --  the type of the component must support atomic operation.
 
-                  if Kind = N_Identifier
+                  if Kind in N_Identifier | N_Expanded_Name
                     and then Present (Entity (N))
                   then
                      declare