https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128177
--- Comment #4 from David Binderman <dcb314 at hotmail dot com> --- As expected: $ git bisect bad 26fca5456858ed8e 26fca5456858ed8ef78eaae4d45beb183471a78f is the first bad commit commit 26fca5456858ed8ef78eaae4d45beb183471a78f (HEAD) 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. gcc/value-range.h | 3 +++ 1 file changed, 3 insertions(+)
