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 <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:556e25f0e9abc720c940994bd9a1491062933d49 commit r15-7829-g556e25f0e9abc720c940994bd9a1491062933d49 Author: Richard Biener <rguent...@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.
