diff options
author | Sebastian Pop <pop@cri.ensmp.fr> | 2005-10-13 13:52:57 +0200 |
---|---|---|
committer | Sebastian Pop <spop@gcc.gnu.org> | 2005-10-13 11:52:57 +0000 |
commit | b2ebf9137cc44f8413d267b4fa3b9056a975d420 (patch) | |
tree | ed58fc119a771fbfa3d1ca483be21e0a9d5b6739 /gcc/tree-data-ref.c | |
parent | 8ca4bf259c9e43016064c46ed853191c2ed4abd2 (diff) | |
download | gcc-b2ebf9137cc44f8413d267b4fa3b9056a975d420.zip gcc-b2ebf9137cc44f8413d267b4fa3b9056a975d420.tar.gz gcc-b2ebf9137cc44f8413d267b4fa3b9056a975d420.tar.bz2 |
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
Diffstat (limited to 'gcc/tree-data-ref.c')
-rw-r--r-- | gcc/tree-data-ref.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index cb3a0ea..cf62403 100644 --- 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 |