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