]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix detection of external calls to protected objects in instances
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 14 Oct 2022 18:22:34 +0000 (20:22 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Nov 2022 08:36:34 +0000 (09:36 +0100)
Detection of external-vs-internal calls to protected objects relied on
the scope stack. This didn't work when the call appeared in an instance
of generic unit, because instances are analyzed in different context to
where they appear.

gcc/ada/

* exp_ch6.adb (Expand_Protected_Subprogram_Call): Examine scope
tree and not the scope stack.

gcc/ada/exp_ch6.adb

index 9380f3dab0fe49de98c78ebdec98086d65b82d67..0fa97688c5b821b0282718368547d4c79d03fdf4 100644 (file)
@@ -6240,7 +6240,7 @@ package body Exp_Ch6 is
       --  The object may be a component of some other data structure, in which
       --  case this must be handled as an inter-object call.
 
-      if not In_Open_Scopes (Scop)
+      if not Scope_Within_Or_Same (Inner => Current_Scope, Outer => Scop)
         or else Is_Entry_Wrapper (Current_Scope)
         or else not Is_Entity_Name (Name (N))
       then