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
       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" } } */