[Bug tree-optimization/68549] [6 Regression] ICE: in verify_loop_structure, at cfgloop.c:1669

[trippels at gcc dot gnu.org]

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;
}