diff options
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/noreturn-4.c')
-rw-r--r-- | gcc-4.8.1/gcc/testsuite/gcc.dg/noreturn-4.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/noreturn-4.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/noreturn-4.c deleted file mode 100644 index 6fe144754..000000000 --- a/gcc-4.8.1/gcc/testsuite/gcc.dg/noreturn-4.c +++ /dev/null @@ -1,10 +0,0 @@ -/* Check for "noreturn" warning in main. */ -/* { dg-do compile } */ -/* { dg-options "-O2 -Wmissing-noreturn -ffreestanding" } */ -extern void exit (int) __attribute__ ((__noreturn__)); - -int -main (void) /* { dg-warning "function might be candidate for attribute 'noreturn'" "warn for main" } */ -{ - exit (0); -} |