1 /* PR middle-end/44071 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2" } */
4 
5 static inline int
f1(void)6 f1 (void)
7 {
8   asm goto ("" : : : : l1, l2);
9   __builtin_unreachable ();
10  l1:
11   return 1;
12  l2:
13   return 0;
14 }
15 
16 int
b1(int x)17 b1 (int x)
18 {
19   if (f1 () || x == 6)
20     x = 1;
21   else
22     x = 2;
23   return x;
24 }
25 
26 static inline int
f2(void)27 f2 (void)
28 {
29   asm goto ("" : : : : l1, l2);
30  l1:
31   return 1;
32  l2:
33   return 0;
34 }
35 
36 int
b2(int x)37 b2 (int x)
38 {
39   if (f2 () || x == 6)
40     x = 1;
41   else
42     x = 2;
43   return x;
44 }
45