re PR c/12603 (No return statement warning on function that never returns with -O3)

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

 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.

gcc/testsuite/gcc.dg/pr12603.c

+/* 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 (;;);
+}