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 };
m_fn1(int & p1)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 }
32