https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107176
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- final value replacement: b_lsm.8_26 = PHI <b_lsm.8_15(4)> with expr: 1 final stmt: b_lsm.8_26 = 1; where (get_scalar_evolution (scalar = b_lsm.8_15) (scalar_evolution = {0, +, 1}_1)) (chrec_apply (varying_loop = 1) (chrec = {0, +, 1}_1) (x = 1) (res = 1)) and <bb 3> [local count: 955630225]: _1 = (unsigned int) b_lsm.8_15; _2 = _1 + 4294967206; # RANGE [irange] long int [0, 4294967295] NONZERO 0xffffffff _12 = (long int) _2; # RANGE [irange] long int [91, 4294967386] NONZERO 0x1ffffffff _3 = _12 + 91; <bb 4> [local count: 1073741824]: # b_lsm.8_15 = PHI <0(2), _3(3)>