diff options
| -rw-r--r-- | gcc/testsuite/gcc.dg/noreturn-1.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/noreturn-1.c b/gcc/testsuite/gcc.dg/noreturn-1.c index e04f1bcfd6a..0adfbadf82b 100644 --- a/gcc/testsuite/gcc.dg/noreturn-1.c +++ b/gcc/testsuite/gcc.dg/noreturn-1.c @@ -48,3 +48,10 @@ foo7(void) { foo6(); } /* { dg-bogus "warning:" "this function should not get any warnings" } */ + +extern void foo8(void) __attribute__ ((__noreturn__)); +void +foo8(void) +{ + foo7(); +} /* { dg-warning "`noreturn' function does return" "detect return from tail call" } */ |
