From 08468d16574e40dd285ff549be6cc17937341f41 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Wed, 19 Jul 2017 10:29:25 -0400
Subject: FIXME: DEFER: add gcc/testsuite/gcc.dg/noreturn-9.c (uses blt;
 appears to be unfinished)

---
 gcc/testsuite/gcc.dg/noreturn-9.c | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/noreturn-9.c

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);
+}
-- 
cgit v1.2.1