https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121712
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- > Loop 1 iterates at most -2 times. > Loop 1 likely iterates at most -2 times. > wut? (probably a dump issue) It is priting a signed number here rather than unsigned one. (4611686018427387902*4)/4 is -2 I wonder if we could do a VN lookup for the subexpression of `b_8(D) - a_9(D)` and then use the ranger to find _1 was just 1 . The only thing is I don't know if this goes into an infinite loop at that point. ranger using niniter.
