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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@141244 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0ccdae9..3075046 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,4 +1,9 @@
 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
        * g++.dg/warn/Wconversion-pr34389.C: Remove XFAIL.

diff --git a/gcc/testsuite/gcc.dg/pr12603.c b/gcc/testsuite/gcc.dg/pr12603.c
new file mode 100644 (file)
index 0000000..d0a4835
--- /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 (;;);
+}