https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125910
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:33e4cfbd9495a23ffe4639c217442a5459b9e400 commit r17-1816-g33e4cfbd9495a23ffe4639c217442a5459b9e400 Author: Andrew MacLeod <[email protected]> Date: Tue Jun 23 16:11:16 2026 -0400 prange zero_p() should never have points to. Intersection sometimes produced a [0, 0] range with a points to field. PR tree-optimization/125910 gcc/ * value-range.cc (prange::set_pt): Do not set PT when zero. (prange::intersect): If the result is zero_p, clear PT. (prange::verify_range): Verify points-to range is valid. * value-range.h (zero_p): Do not assert, move to verify range. (prange::set_pt): Only set PT when the range valid. gcc/testsuite/ * gcc.dg/pr125910.c: New.
