https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125259
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Artemiy Volkov <[email protected]>: https://gcc.gnu.org/g:c0e9c7415cf368b4bf852919725c8ba590a615c2 commit r17-464-gc0e9c7415cf368b4bf852919725c8ba590a615c2 Author: Artemiy Volkov <[email protected]> Date: Mon May 11 09:06:12 2026 +0000 match.pd: rearrange (VCE (BFR)) simplification conditions [PR125259] The precondition for (view_convert (BIT_FIELD_REF)) simplification at match.pd:5881 last fixed in r16-4735-g44c27171c36a91 is still wrong, as it allows a vector type to be converted to/from _BitInt types (for which precision can be smaller than size). Address this by always checking type_has_mode_precision_p () for all integer types. (This fix was posted by Richard B. at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125259#c5.) Add a testcase as reduced in the PR as tree-ssa/pr125259.c. Bootstrapped and regtested on aarch64, arm, and x86_64. OK for trunk and 16? PR middle-end/125259 gcc/ChangeLog: * match.pd: Fix the view_convert (BIT_FIELD_REF) pattern. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr125259.c: New test.
