From: Richard Biener <rguenther@suse.de>
Date: Fri, 21 Dec 2012 10:32:43 +0000 (+0000)
Subject: re PR middle-end/52996 (ice in verify_loop_structure, at cfgloop.c:1567)
X-Git-Tag: releases/gcc-4.8.0~1275
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d846aac9be9a94adc1be78166db42df57da3490a;p=thirdparty%2Fgcc.git

re PR middle-end/52996 (ice in verify_loop_structure, at cfgloop.c:1567)

2012-12-21  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/52996
	* gcc.dg/torture/pr52996.c: New testcase.

From-SVN: r194659
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b89fa028ac6c..a51f09e2aadd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-21  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/52996
+	* gcc.dg/torture/pr52996.c: New testcase.
+
 2012-12-20  Jakub Jelinek  <jakub@redhat.com>
 
 	PR middle-end/55750
diff --git a/gcc/testsuite/gcc.dg/torture/pr52996.c b/gcc/testsuite/gcc.dg/torture/pr52996.c
new file mode 100644
index 000000000000..200bc36b2aa0
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr52996.c
@@ -0,0 +1,33 @@
+/* { dg-do compile } */
+/* { dg-options "-funswitch-loops" } */
+
+int a, b, c, d, e, f;
+void
+fn1 ()
+{
+    int g, h;
+lbl_173:
+    if (a)
+        c++;
+lbl_158:
+    e = 0;
+    h = 0;
+    for (; h > -8; h--)
+    {
+        g = 0;
+        for (; g <= 0; g += 1)
+        {
+            d = 1;
+            for (; d >= 0; d -= 1)
+                a = 1;
+            if (b)
+                break;
+            if (f)
+                return;
+            if (h)
+                goto lbl_158;
+        }
+    }
+    goto lbl_173;
+}
+