https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123589

--- Comment #4 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:cda2b46c68bbc5d3c87593c802bdddb5ebc09b41

commit r16-6878-gcda2b46c68bbc5d3c87593c802bdddb5ebc09b41
Author: Eric Botcazou <[email protected]>
Date:   Sat Jan 17 22:27:53 2026 +0100

    Ada: Fix packed boolean array with Default_Component_Value aspect

    Putting the Default_Component_Value aspect on a bit-packed array type has
    never worked, so this plugs the loophole.  For the sake of consistency,
    the recent fix for PR ada/68179 is adjusted to use Has_Default_Aspect too.

    gcc/ada/
            PR ada/68179
            PR ada/123589
            * exp_ch3.adb (Expand_Freeze_Array_Type): Build an initialization
            procedure for a bit-packed array type if Has_Default_Aspect is set
            on the base type, but make sure not to build it twice.  Also test
            Has_Default_Aspect for a type derived from String.

    gcc/testsuite/
            * gnat.dg/component_value2.adb: New test.

    Co-authored-by: Lisa Felidae <[email protected]>

Reply via email to