https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120661
--- 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:9244ea4bf556381d3f7fb66154dc8944ebeb005c commit r16-1550-g9244ea4bf556381d3f7fb66154dc8944ebeb005c Author: Andrew MacLeod <amacl...@redhat.com> Date: Mon Jun 16 15:41:47 2025 -0400 Snap subrange boundries to bitmask constraints. Ensure all subrange endpoints conform to the bitmask. PR tree-optimization/120661 gcc/ * value-range.cc (irange::snap): New. (irange::snap_subranges): New. (irange::set_range_from_bitmask): Call snap_subranges. * value-range.h (snap, snap_subranges): New prototypes. gcc/testsuite/ * gcc.dg/pr120661-1.c: New. * gcc.dg/pr120661-2.c: New.