https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121206
--- Comment #13 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:13f5a627dcab882fdf9183f96a8270c7f5229f95 commit r16-4253-g13f5a627dcab882fdf9183f96a8270c7f5229f95 Author: Andrew MacLeod <[email protected]> Date: Thu Oct 2 11:51:01 2025 -0400 If a range's bitmask changes, reflect it in the bounds. Rather than trying to be smart, if the bitmask changes, adjust all range bounds to satisfy the bitmask requirements. PR tree-optimization/121206 gcc/ * value-range.cc (irange::intersect_bitmask): Always call set_range_from_bitmask if the bitmask changes. gcc/testsuite * gcc.dg/pr121987.c: New.
