re PR middle-end/53409 (ICE: vector VEC(vec_void_p,base) index domain error, in vinfo...

	PR tree-optimization/53409
	* tree-vect-loop.c (vect_analyze_loop_operations): Don't check
	vinfo_for_stmt (op_def_stmt) if op_def_stmt isn't inside loop.

	* gcc.c-torture/compile/pr53409.c: New test.

From-SVN: r187716

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c52e9dfeec8bae4eefc6634c1384afd42a7b16f3..080975ce292c0df666e90b22a4cb009779210b8a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2012-05-21  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/53409
+       * tree-vect-loop.c (vect_analyze_loop_operations): Don't check
+       vinfo_for_stmt (op_def_stmt) if op_def_stmt isn't inside loop.
+
        PR tree-optimization/53410
        * fold-const.c (fold_binary_loc): Use build_zero_cst (type)
        instead of build_int_cst (type, 0) where vector types might be

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c50ae2f91a0f45314cee68155bf40e5a917728df..a9ba2223c1d5e6b88be7dcaa7b448597a498990c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2012-05-21  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/53409
+       * gcc.c-torture/compile/pr53409.c: New test.
+
        PR tree-optimization/53410
        * gcc.c-torture/compile/pr53410-1.c: New test.
        * gcc.c-torture/compile/pr53410-2.c: New test.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr53409.c b/gcc/testsuite/gcc.c-torture/compile/pr53409.c
new file mode 100644 (file)
index 0000000..1bf478e
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr53409.c
@@ -0,0 +1,19 @@
+/* PR tree-optimization/53409 */
+
+int a, c, d, e, f;
+int b[0];
+
+int
+main ()
+{
+  if (f)
+    e = 0;
+  int g = d;
+  for (c = 0; c <= 1; c++)
+    {
+      for (a = 0; a <= 1; a = (char) a + 1)
+       b[c] = g;
+      a = 0;
+    }
+  return 0;
+}

diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index 528788fee13c52fe4aff0ddd10180c3c52ec24ee..305ea7ea5a88c4459e08237afa9a411120973aed 100644 (file)
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -1327,7 +1327,9 @@ vect_analyze_loop_operations (loop_vec_info loop_vinfo, bool slp)
                     return false;
 
                   op_def_stmt = SSA_NAME_DEF_STMT (phi_op);
-                  if (!op_def_stmt || !vinfo_for_stmt (op_def_stmt))
+                 if (!op_def_stmt
+                     || !flow_bb_inside_loop_p (loop, gimple_bb (op_def_stmt))
+                     || !vinfo_for_stmt (op_def_stmt))
                     return false;
 
                   if (STMT_VINFO_RELEVANT (vinfo_for_stmt (op_def_stmt))