From: Gary Dismukes Date: Fri, 16 May 2025 23:11:26 +0000 (+0000) Subject: ada: Compiler fails on unchecked deallocation for constrained protected subtype X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=177050b65968336bd9b1c6e94e343274f3582d78;p=thirdparty%2Fgcc.git 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. --- diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 8246e6c9643..794e4204d84 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -14601,6 +14601,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));