1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr12603.c b/gcc/testsuite/gcc.dg/pr12603.c
new file mode 100644
index 000000000..f7caef284
--- /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" } */
+int
+this_function_never_returns ()
+{
+  for (;;);
+}