https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102364
--- Comment #2 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> --- This is also the case that two ivs are combined into inaccurate step: "{3,+,1} < {11,+,2}" was transformed to "{3,+,-1} < {11,+,0}". The new condition is not same with the original one.