[Bug tree-optimization/87896] [9 Regression] ICE in verify_flow_info failed

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87896

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
One another test-case:

$ cat generic.i
enum { a, b, c } d;
e;
static f(h) {
  int count;
  for (;;) {
    int g = 0;
    while (count--) {
      if (e)
        continue;
      g = 1;
      break;
    }
    switch (h) {
    case a:
      if (g == 0)
        f(b);
    case c:
      d != 0;
    }
  }
}
i() { f(a); }