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