1/* { dg-do run } */
2/* { dg-options "-fsanitize=unreachable" } */
3/* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
4/* { dg-shouldfail "ubsan" } */
5
6int e;
7
8int
9main (void)
10{
11  return e ? 0 : (__builtin_unreachable (), 1);
12}
13
14/* { dg-output "execution reached a __builtin_unreachable\\(\\) call" } */
15