]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e6c44) | patch
ada: Compiler fails on unchecked deallocation for constrained protected subtype
authorGary Dismukes <dismukes@adacore.com>
Fri, 16 May 2025 23:11:26 +0000 (23:11 +0000)
committerEric Botcazou <ebotcazou@adacore.com>
Tue, 1 Jul 2025 14:33:59 +0000 (16:33 +0200)
commit177050b65968336bd9b1c6e94e343274f3582d78
treec12d2099b216d7ee252efa58f3809a0a71aaf7f6tree
parent25e6c4403919c5e6f4f6c306faf380c619b9c84fcommit | diff
ada: Compiler fails on unchecked deallocation for constrained protected subtype

The compiler fails with an error or Assert_Failure when calling
an instantiation of Unchecked_Deallocation that has been instantiated
with a constrained subtype of a discriminated protected type.

gcc/ada/ChangeLog:

* sem_ch3.adb (Constrain_Corresponding_Record): Inherit Class_Wide_Type on the
created constrained subtype.
gcc/ada/sem_ch3.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git