https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122686
--- Comment #28 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:1ff32875e93be6617e093c0ef1413d506c58f045 commit r16-5696-g1ff32875e93be6617e093c0ef1413d506c58f045 Author: Andrew MacLeod <[email protected]> Date: Wed Nov 26 14:21:13 2025 -0500 Undefined bitmasks imply undefined ranges. bitmask have no way of representing UNDEFINED, and as such, bitmask intersection returns an unknown_p values instead. This patch has the function return false in this case, which will indicate UNDEFINED. PR tree-optimization/122686 gcc/ * range-op.cc (operator_bitwise_and::op1_range): Check for undefined bitmask. * value-range.cc (prange::intersect): Handle undefined bitmask intersection. (irange::get_bitmask): Ditto. (irange::intersect_bitmask): Ditto. * value-range.h (irange_bitmask::intersect): Return false if the result is UNDEFINED.
