gcc/testsuite/g++.dg/pr80707.C

   1 // PR middle-end/80707 ICE: extra outgoing edge causes verify_flow_info error.
   2 // { dg-do compile }
   3 // { dg-options "-O3" } */
   4
   5 struct A {
   6   int m_fn1(int &) const;
   7 };
   8 int A::m_fn1(int &p1) const {
   9   int a[6];
  10   int b = 0;
  11   for (int i;; i++) {
  12     if (a[i])
  13       break;
  14     b++;
  15   }
  16   while (b) {
  17     int c;
  18     switch (b) {
  19     case 1:
  20       c = 0;
  21       break;
  22     case 5:
  23       c = a[0];
  24     }
  25     if (c)
  26       p1 = 0;
  27     b--;
  28   }
  29
  30   return 0;
  31 }