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

gcc/testsuite/ChangeLog

+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

gcc/testsuite/gcc.dg/torture/pr52996.c

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