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

gcc/ChangeLog

+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

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