From: Gary Dismukes <dismu...@adacore.com> 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. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_ch3.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 2673874a6bf..45b28bf96a4 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -14882,6 +14882,7 @@ package body Sem_Ch3 is Set_Etype (T_Sub, Corr_Rec); Set_Has_Discriminants (T_Sub, Has_Discriminants (Prot_Subt)); Set_Is_Tagged_Type (T_Sub, Is_Tagged_Type (Corr_Rec)); + Set_Class_Wide_Type (T_Sub, Class_Wide_Type (Corr_Rec)); Set_Is_Constrained (T_Sub, True); Set_First_Entity (T_Sub, First_Entity (Corr_Rec)); Set_Last_Entity (T_Sub, Last_Entity (Corr_Rec)); -- 2.43.0