https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125291
--- Comment #9 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #8)
> Hmm, wouldn't it be better to always sign-extend 'right'?I
I'll try.
> I'm not sure right is always an INTEGER_CST btw.
If not it would have been rejected by
if (TREE_CODE (step) != INTEGER_CST)
return true;
in scev_probably_wraps_p already.
