]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Do not attempt to generate finalization actions with restricted profile
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 22 Dec 2023 11:46:29 +0000 (12:46 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 6 May 2024 09:11:31 +0000 (11:11 +0200)
commit98b26f695bdcb1e4eee2c27742fd6ab534bb7d55
tree298ae23657f36e66695a09e8e9865b350d5f6e78
parent22a9ce9946525b4b039841786d82631617b2ef41
ada: Do not attempt to generate finalization actions with restricted profile

These actions are not supported with this profile, but we were nevertheless
attempting to generate them for protected objects.

gcc/ada/

* exp_ch7.adb (Build_Finalizer.Process_Declarations): Do not call
Processing_Actions for simple protected objects if the profile is
restricted.
* exp_util.adb (Requires_Cleanup_Actions): Do not return True for
simple protected objects if the profile is restricted.
gcc/ada/exp_ch7.adb
gcc/ada/exp_util.adb