https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124016
--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:1f8f7ad8cd77e83d75c2e6004a2d2ec8ab8d78cf commit r16-7455-g1f8f7ad8cd77e83d75c2e6004a2d2ec8ab8d78cf Author: Steve Baird <[email protected]> Date: Wed Feb 11 13:04:20 2026 +0100 Ada: Rework implementation of Ada.Containers.Bounded_Indefinite_Holders In particular, this adds support for the case where the Element_Type actual parameter is a class-wide type. gcc/ada/ PR ada/124016 * doc/gnat_rm/implementation_defined_attributes.rst: Document that Finalization_Size attribute is defined for class-wide types. * exp_attr.adb (Expand_N_Attribute_Reference) <Finalization_Size>: Add support for class-wide types. <Size>: Raise Constraint_Error for class-wide types. * exp_imgv.adb (Expand_Image_Attribute): Adjust call to renaming. (Expand_Wide_Image_Attribute): Likewise. (Expand_Wide_Wide_Image_Attribute): Likewise. * sem_attr.ads (Finalization_Size): Update comment. * sem_attr.adb (Analyze_Image): Adjust call to renaming. (Analyze_Attribute): Remove check disallowing Finalization_Size attribute for class-wide types. * sem_util.ads (Is_Object_Image): Rename into... (Is_Object_Prefix): ...this. * sem_util.adb (Is_Object_Image): Rename into... (Is_Object_Prefix): ...this. * libgnat/a-cbinho.ads (Extra_Storage): Use Descriptor_Size and Finalization_Size attributes. (Max_Allocation_Overhead_In_Storage_Elements): Delete.
