public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r14-3694] ada: Fix problematic secondary stack management in protected entry
@ 2023-09-05 11:09 Marc Poulhi?s
  0 siblings, 0 replies; only message in thread
From: Marc Poulhi?s @ 2023-09-05 11:09 UTC (permalink / raw)
  To: gcc-cvs

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

commit r14-3694-gadb3b4d11cb11a35b17bef2590bcdf6bffb06f21
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Wed Aug 23 18:35:59 2023 +0200

    ada: Fix problematic secondary stack management in protected entry
    
    The secondary stack mark goes formally out of scope before the finalizer
    reads it to reclaim the storage.
    
    gcc/ada/
    
            * exp_ch9.adb (Build_Protected_Entry): Move the At_End procedure
            from the entry body to the inner block statement.

Diff:
---
 gcc/ada/exp_ch9.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb
index b0e3632b8c83..5dcd890c33cd 100644
--- a/gcc/ada/exp_ch9.adb
+++ b/gcc/ada/exp_ch9.adb
@@ -3457,6 +3457,7 @@ package body Exp_Ch9 is
       Set_Uses_Sec_Stack (Block_Id, Uses_Sec_Stack (Corresponding_Spec (N)));
 
       Reset_Scopes_To (First (Bod_Stmts), Block_Id);
+      Set_At_End_Proc (First (Bod_Stmts), At_End_Proc (N));
 
       case Corresponding_Runtime_Package (Pid) is
          when System_Tasking_Protected_Objects_Entries =>
@@ -3553,7 +3554,6 @@ package body Exp_Ch9 is
          --  Establish link between subprogram body and source entry body
 
          Set_Corresponding_Entry_Body (Proc_Body, N);
-         Set_At_End_Proc (Proc_Body, At_End_Proc (N));
 
          Reset_Scopes_To (Proc_Body, Protected_Body_Subprogram (Ent));
          return Proc_Body;

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-09-05 11:09 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-05 11:09 [gcc r14-3694] ada: Fix problematic secondary stack management in protected entry Marc Poulhi?s

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).