1 files changed, 10 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/noreturn-4.c b/gcc-4.9/gcc/testsuite/gcc.dg/noreturn-4.c
new file mode 100644
index 000000000..6fe144754
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/noreturn-4.c
@@ -0,0 +1,10 @@
+/* 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);
+}