1/* { dg-do run } */
2/* { dg-options "-fsanitize=unreachable" } */
3/* { dg-shouldfail "ubsan" } */
4
5int
6main (void)
7{
8  __builtin_unreachable ();
9}
10 /* { dg-output "execution reached a __builtin_unreachable\\(\\) call" } */
11