https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68549
--- Comment #7 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- Rough reduction: a; fn1() { int b = 0; char *c; unsigned d, e = &d; for (; a; a++) if (*c) { char **f = &c; lbl72855FC2: c = b > (**f = c && b); d = 2; lbl4BD212AD: for (; d; d++) ; goto lbl72855FC2; } c = &b; goto lbl4BD212AD; }