]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d54e996) | patch
ada: Fix problematic secondary stack management in protected entry
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 23 Aug 2023 16:35:59 +0000 (18:35 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 5 Sep 2023 11:05:16 +0000 (13:05 +0200)
commitadb3b4d11cb11a35b17bef2590bcdf6bffb06f21
tree08767dddba9cbccdcc1f53fa43eabafc711df409tree | snapshot
parentd54e996a25d34d1cfaa5fd1de5127668bb43755acommit | diff
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.
gcc/ada/exp_ch9.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git