FIXME: DEFER: add gcc/testsuite/gcc.dg/noreturn-9.c (uses blt; appears to be unfinished)

1 files changed, 16 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/noreturn-9.c b/gcc/testsuite/gcc.dg/noreturn-9.c
new file mode 100644
index 00000000000..0e3803d3957
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/noreturn-9.c
@@ -0,0 +1,16 @@
+/* { dg-options "-Wmissing-noreturn -fdiagnostics-show-caret -fblt" } */
+
+extern void test_1(void) __attribute__ ((__noreturn__));
+
+extern void exit(int status) __attribute__ ((__noreturn__));
+
+void
+test_1 (void)
+{
+} /* { dg-warning "'noreturn' function does return" "detect falling off end of noreturn" } */
+
+void
+test_2 (void)
+{
+  exit (0);
+}