[Bug middle-end/45231] gcc.c-torture/compile/941014-2.c ICEs with -fgraphite-identity

[spop at gcc dot gnu.org]

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

--- Comment #5 from Sebastian Pop <spop at gcc dot gnu.org> 2010-12-08 23:01:46 UTC ---
Author: spop
Date: Wed Dec  8 23:01:40 2010
New Revision: 167609

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167609
Log:
Fix PR45230, PR45231, and PR45370: fold_stmt_inplace after replace_exp.

2010-12-08  Richard Guenther  <rguenther@suse.de>
        Sebastian Pop  <sebastian.pop@amd.com>

    PR tree-optimization/45230
    PR tree-optimization/45231
    PR tree-optimization/45370
    * sese.c (rename_uses): Returns a bool.  Call
    recompute_tree_invariant_for_addr_expr only on the RHS of a
    GIMPLE_ASSIGN.
    (graphite_copy_stmts_from_block): Call fold_stmt_inplace when
    rename_uses returns true.
    * tree-ssa-copy.c (replace_exp): Add a comment about calling
    fold_stmt_inplace after replace_exp.

    * gcc.dg/graphite/id-pr45230-1.c: New.
    * gcc.dg/graphite/id-pr45231.c: New.
    * gfortran.dg/graphite/id-pr45370.f90: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/id-pr45230-1.c
    trunk/gcc/testsuite/gcc.dg/graphite/id-pr45231.c
    trunk/gcc/testsuite/gfortran.dg/graphite/id-pr45370.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sese.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-copy.c