https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111766
--- Comment #2 from CVS 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:7ab79a40b546a1470abaf76bec74c63e9990fe47 commit r14-5110-g7ab79a40b546a1470abaf76bec74c63e9990fe47 Author: Andrew MacLeod <amacl...@redhat.com> Date: Wed Oct 25 09:46:50 2023 -0400 Adjust operators equal and not_equal to check bitmasks against constants Check to see if a comparison to a constant can be determined to always be not-equal based on the bitmask. PR tree-optimization/111766 gcc/ * range-op.cc (operator_equal::fold_range): Check constants against the bitmask. (operator_not_equal::fold_range): Ditto. * value-range.h (irange_bitmask::member_p): New. gcc/testsuite/ * gcc.dg/pr111766.c: New.