[Bug target/97323] [12/13/14/15 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf

[cvs-commit at gcc dot gnu.org]

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

--- Comment #19 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:556e25f0e9abc720c940994bd9a1491062933d49

commit r15-7829-g556e25f0e9abc720c940994bd9a1491062933d49
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Mar 4 16:13:09 2025 +0100

    middle-end/97323 - TYPE_CANONICAL vs. ARRAY_TYPE modes

    For strict-alignment targets we can end up with BLKmode single-element
    array types when the element type is unaligned.  This confuses
    type checking since the canonical type would have an aligned
    element type and a non-BLKmode mode.  The following simply ignores
    the mode we assign to array types for this purpose, like we already
    do for record and union types.

            PR middle-end/97323
            * tree.cc (gimple_canonical_types_compatible_p): Ignore
            TYPE_MODE also for ARRAY_TYPE.
            (verify_type): Likewise.

            * gcc.dg/pr97323.c: New testcase.