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