https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120701
--- Comment #7 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:b03e0d69b37f6ea7aef220652635031a89f56a11 commit r16-1594-gb03e0d69b37f6ea7aef220652635031a89f56a11 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 satidsdaybitmask 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.
