1  /* PR middle-end/80823 ICE: verify_flow_info failed  */
       2  /* { dg-do compile }  */
       3  /* { dg-options "-O3" }  */
       4  
       5  int a, c;
       6  int b[1];
       7  static inline int
       8  fn1() {
       9    switch (a)
      10    case 0:
      11    case 2:
      12      return 1;
      13    return 0;
      14  }
      15  void fn2() {
      16    int i;
      17    for (;; ++i) {
      18      c = b[i];
      19      int d = !fn1();
      20      if (d)
      21        __asm__("");
      22    }
      23  }