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