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 } */
12 __builtin_unreachable ();
20 /* { dg-final { scan-tree-dump-times "lab:" 1 "fab1" } } */
21 /* { dg-final { scan-tree-dump-times "__builtin_unreachable" 1 "fab1" } } */