https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116546
--- 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:65cd212bd4c533351a09e6974f40ae5d7effca84 commit r16-663-g65cd212bd4c533351a09e6974f40ae5d7effca84 Author: Andrew MacLeod <amacl...@redhat.com> Date: Wed May 14 11:12:22 2025 -0400 Improve constant bitmasks. bitmasks for constants are created only for trailing zeros. It is no additional work to also include leading 1's in the value that are also known. before : [5, 7] mask 0x7 value 0x0 after : [5, 7] mask 0x3 value 0x4 PR tree-optimization/116546 * value-range.cc (irange_bitmask::irange_bitmask): Include leading ones in the bitmask.