/* { dg-do run } */ | |
/* { dg-options "-fsanitize=unreachable" } */ | |
/* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */ | |
/* { dg-shouldfail "ubsan" } */ | |
static void __attribute__ ((noreturn)) | |
bar () | |
{ | |
} /* { dg-warning "function does return" } */ | |
void | |
foo () | |
{ | |
bar (); | |
} | |
int | |
main (void) | |
{ | |
foo (); | |
} | |
/* { dg-output "execution reached an unreachable program point" } */ |