]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8836210) | patch
Ada: Fix explicit raise on subtype of lock-free protected type
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 4 Nov 2025 19:05:25 +0000 (20:05 +0100)
committerEric Botcazou <ebotcazou@adacore.com>
Tue, 4 Nov 2025 19:08:48 +0000 (20:08 +0100)
commitc0132281f671a79da992cec75a65c4f739ad991f
tree1d44cfe2861a187888ab44ee2b9c4209ae157524tree | snapshot
parent8836210fb62058980aeb02d6aad7f6dbca87b50bcommit | diff
Ada: Fix explicit raise on subtype of lock-free protected type

The issue is that the Uses_Lock_Free flag is not propagated to the subtype.

gcc/ada/
* sem_ch3.adb (Analyze_Subtype_Declaration) <Concurrent_Kind>:
Propagate the Uses_Lock_Free flag for protected types.

gcc/testsuite/
* gnat.dg/protected_subtype1.adb: New test.
gcc/ada/sem_ch3.adb diff | blob | blame | history
gcc/testsuite/gnat.dg/protected_subtype1.adb [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git