[Bug tree-optimization/40676] [4.5 Regression] internal compiler error: verify_ssa error: definition in block 5 does not dominate use in block 7

[hubicka at gcc dot gnu dot org]

------- Comment #8 from hubicka at gcc dot gnu dot org  2009-07-19 10:27 -------
Subject: Bug 40676

Author: hubicka
Date: Sun Jul 19 10:27:07 2009
New Revision: 149789

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=149789
Log:
        PR tree-optimization/40676
        * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
        virtual PHIs in empty BBs.

        * gcc.c-torture/compile/pr40676.c: New testcase.


Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr40676.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-dce.c


-- 


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