1 files changed, 39 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/pr55831.c b/gcc-4.9/gcc/testsuite/gcc.dg/pr55831.c
new file mode 100644
index 000000000..ce7be63e1
--- /dev/null
+++ b/gcc-4.9/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;
+    }
+}
+