gcc/testsuite/gcc.dg/builtin-unreachable-6.c

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