re PR tree-optimization/24262 (ICE: verify_ssa failed with -O -msse2 -ftree-vectorize)

	PR tree-optimization/24262
	* tree-data-ref.c (analyze_offset_expr): Check that init is invariant
	in loop all the time.

From-SVN: r105368

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 308be618a8b9621af596c5e4079d5d70f49b7e1c..4e3d0f26370557ce2d8357283fb8b4cef0509147 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2005-10-12  Sebastian Pop  <pop@cri.ensmp.fr>
+
+       PR tree-optimization/24262
+       * tree-data-ref.c (analyze_offset_expr): Check that init is invariant
+       in loop all the time.
+
 2005-10-12  Richard Henderson  <rth@redhat.com>
 
        PR c/24255

diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c
index cb3a0ea06815097d1c5ad05b670b6ae75d46ebf8..cf624038e2b41658651818e59e9f85ea07a98d78 100644 (file)
--- a/gcc/tree-data-ref.c
+++ b/gcc/tree-data-ref.c
@@ -1124,7 +1124,7 @@ analyze_offset_expr (tree expr,
        return false;
 
       init = initial_condition_in_loop_num (access_fn, loop->num);
-      if (init == expr && !expr_invariant_in_loop_p (loop, init))
+      if (!expr_invariant_in_loop_p (loop, init))
        /* Not enough information: may be not loop invariant.  
           E.g., for a[b[i]], we get a[D], where D=b[i]. EXPR is D, its 
           initial_condition is D, but it depends on i - loop's induction