https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119039
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:9560cd83671a32ee2253f307112ac39b40aa712c commit r16-1562-g9560cd83671a32ee2253f307112ac39b40aa712c Author: Andrew MacLeod <amacl...@redhat.com> Date: Wed May 28 16:27:16 2025 -0400 Improve contains_p and intersect with bitmasks. Improve the way contains_p (wide_int) and intersect behave wioth singletons and bitmasks. Also fix a buglet in bitmask_intersect when the result is a singleton which is not in the current range. PR tree-optimization/119039 gcc/ * value-range.cc (irange::contains_p): Call wide_int version of contains_p for singleton ranges. (irange::intersect): If either range is a singleton, use contains_p. gcc/testsuite/ * gcc.dg/pr119039-2.c: New.