https://gcc.gnu.org/g:26fca5456858ed8ef78eaae4d45beb183471a78f
commit r17-5382-g26fca5456858ed8ef78eaae4d45beb183471a78f Author: Andrew MacLeod <[email protected]> Date: Wed Oct 14 14:59:39 2026 -0400 set_pt_unknown may revert to VARYING If set_pt_unknown is called on a range that has points to info and is otherwise varying, it needs to set the kind back to VR_VARYING. * value-range.h (prange::set_pt_unknown): If the result is varying compatible set the kind to VR_VARYING. Diff: --- gcc/value-range.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gcc/value-range.h b/gcc/value-range.h index 290ea4bb83c5..0b88b46ebc52 100644 --- a/gcc/value-range.h +++ b/gcc/value-range.h @@ -1538,6 +1538,9 @@ prange::set_pt_unknown () { m_pt = NULL_TREE; m_points_to_p = false; + // If this is a transition from a range, check for varying compatibility. + if (m_kind == VR_RANGE && varying_compatible_p ()) + m_kind = VR_VARYING; } inline bool
