https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121345
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- # RANGE [irange] int [-536870912, -8][1, 16] # lane_size_6 = PHI <1(2), lane_size_12(8)> # RANGE [irange] unsigned int [1, 5] # ivtmp_20 = PHI <5(2), ivtmp_21(8)> # RANGE [irange] unsigned int [0, 4] ivtmp_21 = ivtmp_20 + 4294967295; lane_size_12 is just 1<<ivtmp_21 so I don't see where the [-536870912, -8] is coming from.