https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106032
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Martin Liška from comment #5) > (In reply to Andrew Pinski from comment #4) > > Here is a testcase which shows this was latent but fails in GCC 7+ (so it is > > still a regression): > > int a, b, c, *d; > > int main() { > > int e = 0, f = 0; > > int *dd = d; > > for (; f < 1; f++) > > if (c < 0) > > e = *dd; > > if (a) { > > a = b ? 0 : a; > > e && (b = a); > > } > > return 0; > > } > > This one started with r9-6299-gd7a700e0a701e516. I guess I need to make another testcase since that would have just changed the gimple level.