[Bug ada/121576] too small component size for fixed-point array type incorrectly accepted

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>:

https://gcc.gnu.org/g:313ac5c049d6aacf1671f4409a7d4cd25eeee651

commit r16-7401-g313ac5c049d6aacf1671f4409a7d4cd25eeee651
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Mon Feb 9 00:14:49 2026 +0100

    Ada: Fix too small component size for fixed-point array incorrectly
accepted

    This plugs a loophole in the validation of component size aspects/clauses
    specified for array types, by copying what is done for record types.

    gcc/ada/
            PR ada/121576
            * freeze.adb (Freeze_Array_Type): When the component size is
            specified, check that it is valid when the component type is
            either a fixed-point type or a bit-packed array type.

    gcc/testsuite/
            * gnat.dg/specs/component_size1.ads: New test.

    Co-authored-by: Liam Powell <l...@liampwll.com>