https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120701
--- Comment #6 from Andrew Macleod <amacleod at redhat dot com> ---
Not sure why the commit isn't showing up... regardless:
commit b03e0d69b37f6ea7aef220652635031a89f56a11
Author: Andrew MacLeod <amacl...@redhat.com>
Date: Fri Jun 20 08:50:39 2025 -0400
Fix range wrap check and enhance verify_range.
when snapping range bounds to satisfy bitmask constraints, end bound
overflow
and underflow checks were not working properly.
Also Adjust some comments, and enhance verify_range to make sure range
pairs
are sorted properly.
PR tree-optimization/120701
gcc/
* value-range.cc (irange::verify_range): Verify range pairs are
sorted properly.
(irange::snap): Check for over/underflow properly.
gcc/testsuite/
* gcc.dg/pr120701.c: New.
