[Bug tree-optimization/57411] [4.9 Regression] ICE: verify_ssa failed: definition in block 4 does not dominate use in block 11 with -fno-tree-dce -ftree-vectorize

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue May 28 10:54:33 2013
New Revision: 199374

URL: http://gcc.gnu.org/viewcvs?rev=199374&root=gcc&view=rev
Log:
2013-05-28  Richard Biener  <rguent...@suse.de>

    PR tree-optimization/57411
    * tree-ssa-copy.c (may_propagate_copy): Cannot propagate
    virtual operands.
    * tree-ssa-dom.c (eliminate_const_or_copy): Special-case
    virtual operand propagation.

    * g++.dg/opt/pr57411.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr57411.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-copy.c
    trunk/gcc/tree-ssa-dom.c