]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7107891) | patch
ada: Fix abort deferral for finally parts
authorRonan Desplanques <desplanques@adacore.com>
Thu, 19 Dec 2024 10:10:12 +0000 (11:10 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 7 Jan 2025 12:33:34 +0000 (13:33 +0100)
commitec62ba1eb087a73e748a808067b96af5d512f6ae
tree63a41a2b5fefc831627373d473ebceeb7114fe79tree
parent710789117374d335184590950280ad0c5bb70fbecommit | diff
ada: Fix abort deferral for finally parts

This patch fixes two problems with how abort was deferred in finally
parts. First, calls to runtime subprograms are now omitted when
aborting is disallowed by active restrictions. Second, Abort_Undefer is
now correctly called when the finally part propagates an exception.

gcc/ada/ChangeLog:

* exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Fix abort
deferral.
gcc/ada/exp_ch11.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git