From 5bb6669db3da9da5e13a6af66a2f656e654ca7ea Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 1 Jan 2013 00:50:00 +0100
Subject: re PR tree-optimization/55831 (ICE: verify_flow_info failed)

	PR tree-optimization/55831
	* tree-vect-loop.c (get_initial_def_for_induction): Use
	gsi_after_labels instead of gsi_start_bb.

	* gcc.dg/pr55831.c: New test.

From-SVN: r194764
---
 gcc/testsuite/gcc.dg/pr55831.c | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/pr55831.c

(limited to 'gcc/testsuite/gcc.dg/pr55831.c')

diff --git a/gcc/testsuite/gcc.dg/pr55831.c b/gcc/testsuite/gcc.dg/pr55831.c
new file mode 100644
index 0000000..ce7be63
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr55831.c
@@ -0,0 +1,39 @@
+/* PR tree-optimization/55831 */
+/* { dg-do compile } */
+/* { dg-options "-O -fstrict-overflow -ftree-vectorize -Wno-unused-label" } */
+
+int g;
+short p, q;
+
+void
+foo (void)
+{
+  short a = p, b = q, i;
+
+  if (a)
+    {
+    label:
+      for (i = 0; i < 8; i++)
+	b ^= a++;
+
+      if (!b)
+	g = 0;
+    }
+}
+
+void
+bar (void)
+{
+  short a = p, b = q, i;
+
+  if (a)
+    {
+    label:
+      for (i = 0; i < 8; i++)
+	b ^= (a = a + 1);
+
+      if (!b)
+	g = 0;
+    }
+}
+
-- 
cgit v1.1