https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84320
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |NEW
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
https://gcc.gnu.org/g:c0132281f671a79da992cec75a65c4f739ad991f
commit r16-5034-gc0132281f671a79da992cec75a65c4f739ad991f
Author: Eric Botcazou <[email protected]>
Date: Tue Nov 4 20:05:25 2025 +0100
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.
