[Bug tree-optimization/47053] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 can not throw but has an EH edge with -O -fnon-call-exceptions

[law at gcc dot gnu.org]

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

--- Comment #4 from Jeffrey A. Law <law at gcc dot gnu.org> 2011-01-22 04:09:53 UTC ---
Author: law
Date: Sat Jan 22 04:09:44 2011
New Revision: 169123

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169123
Log:

    PR tree-optimization/47053
    * tree-ssa-dse.c (need_eh_cleanup): New bitmap.
    (dse_optimize_stmt): Set the appropriate bit in NEED_EH_CLEANUP when
    statements are deleted.
    (tree_ssa_dse): Allocate & free NEED_EH_CLEANUP.  If NEED_EH_CLEANUP
    is nonempty, then purge dead edges and cleanup the CFG.

    PR tree-optimization/47053
    * g++.dg/pr47053.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/pr47053.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-dse.c