1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-fab1" } */
3 
4 void
foo(int b,int c)5 foo (int b, int c)
6 {
7   void *x = &&lab;
8   if (b)
9     {
10 lab:
11       __builtin_unreachable ();
12     }
13 lab2:
14   if (c)
15     x = &&lab2;
16   goto *x;
17 }
18 
19 /* { dg-final { scan-tree-dump-times "lab:" 1 "fab1" } } */
20 /* { dg-final { scan-tree-dump-times "__builtin_unreachable" 1 "fab1" } } */
21 /* { dg-final { cleanup-tree-dump "fab1" } } */
22