[Bug tree-optimization/24689] operand_equal_p does not return true for some equivalent ARRAY_REF

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2007-04-12 10:16 -------
Subject: Bug 24689

Author: rguenth
Date: Thu Apr 12 10:15:53 2007
New Revision: 123736

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123736
Log:
2007-04-12  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/24689
        PR tree-optimization/31307
        * fold-const.c (operand_equal_p): Compare INTEGER_CST array
        indices by value.
        * gimplify.c (canonicalize_addr_expr): To be consistent with
        gimplify_compound_lval only set operands two and three of
        ARRAY_REFs if they are not gimple_min_invariant.  This makes
        it never at this place.
        * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.

        * g++.dg/tree-ssa/pr31307.C: New testcase.
        * gcc.dg/tree-ssa/pr24689.c: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr31307.C
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr24689.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ccp.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24689