https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110228
--- Comment #23 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #22) > (In reply to Zhendong Su from comment #21) > > Another very likely related reproducer. > Yes: > <bb 3> [local count: 82077551]: > a.0_1 = a; > _27 = a.0_1 == 0; > _5 = (int) _27; > _28 = _5 | i_14; > pretmp_45 = b; > ... > <bb 7> [local count: 200189151]: > # i_14 = PHI <i_19(D)(2), i_13(6)> I wonder if ccp1 in this case could cause the 1 to proped out of the loop. and maybe we need some more isolation going on when it comes to using uninitialized variables ...