From c55224dc4d22bbb0536f2386371f362fe066527e Mon Sep 17 00:00:00 2001
From: Richard Guenther <rguenther@suse.de>
Date: Fri, 15 Jun 2012 11:06:16 +0000
Subject: [PATCH] 20120615-1.c: New testcase.

2012-06-15  Richard Guenther  <rguenther@suse.de>

	* gcc.c-torture/execute/20120615-1.c: New testcase.

From-SVN: r188655
---
 gcc/testsuite/ChangeLog                          |  4 ++++
 gcc/testsuite/gcc.c-torture/execute/20120615-1.c | 16 ++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/20120615-1.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5efced7c34e..cbf9c025499 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2012-06-15  Richard Guenther  <rguenther@suse.de>
+
+	* gcc.c-torture/execute/20120615-1.c: New testcase.
+
 2012-06-15  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/vect8.ad[sb]: New test.
diff --git a/gcc/testsuite/gcc.c-torture/execute/20120615-1.c b/gcc/testsuite/gcc.c-torture/execute/20120615-1.c
new file mode 100644
index 00000000000..6c80d43fe06
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20120615-1.c
@@ -0,0 +1,16 @@
+extern void abort (void);
+
+void __attribute__((noinline,noclone))
+     test1(int i)
+{
+  if (i == 12)
+    return;
+  if (i != 17)
+    {
+      if (i == 15)
+	return;
+      abort ();
+    }
+}
+
+int main() { test1 (15); return 0; }