https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125259
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Artemiy Volkov <[email protected]>: https://gcc.gnu.org/g:15e483f98bc4b8c65dd99bd7810029f1abf30b4b commit r16-8895-g15e483f98bc4b8c65dd99bd7810029f1abf30b4b Author: Artemiy Volkov <[email protected]> Date: Tue May 12 08:21:53 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. (cherry picked from commit c0e9c7415cf368b4bf852919725c8ba590a615c2)
