1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-fab1" } */
3
4 int
5 foo (int a)
6 {
7 if (a <= 0)
8 {
9 L1:
10 __builtin_unreachable ();
11 }
12
13 if (a > 2)
14 goto L1;
15
16 return a > 0;
17 }
18
19 /* { dg-final { scan-tree-dump-times "if \\(" 0 "fab1" } } */
20 /* { dg-final { scan-tree-dump-times "goto" 0 "fab1" } } */
21 /* { dg-final { scan-tree-dump-times "L1:" 0 "fab1" } } */
22 /* { dg-final { scan-tree-dump-times "__builtin_unreachable" 0 "fab1" } } */