From 768b99766b0dffd78ed8ffada4bc3c76c5e2751e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20L=C3=B3pez-Ib=C3=A1=C3=B1ez?= <manu@gcc.gnu.org>
Date: Mon, 20 Oct 2008 18:26:21 +0000
Subject: [PATCH] re PR c/12603 (No return statement warning on function that
 never returns with -O3)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

2008-10-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>

	PR 12603
	* gcc.dg/pr12603.c: New testcase.

From-SVN: r141244
---
 gcc/testsuite/ChangeLog        | 5 +++++
 gcc/testsuite/gcc.dg/pr12603.c | 8 ++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/pr12603.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0ccdae9c885..3075046254f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
+        
+	PR 12603
+	* gcc.dg/pr12603.c: New testcase.
+
 2008-10-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
 	PR c++/37004
diff --git a/gcc/testsuite/gcc.dg/pr12603.c b/gcc/testsuite/gcc.dg/pr12603.c
new file mode 100644
index 00000000000..d0a4835cb1e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr12603.c
@@ -0,0 +1,8 @@
+/* PR 12603: No return statement warning on function that never returns with -O3. */
+/* { dg-do compile } */
+/* { dg-options "-O3 -Wall -Wextra -Wreturn-type -Wunreachable-code" } */
+int
+this_function_never_returns ()
+{
+  for (;;);
+}