[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-08 
10:44:12 UTC ---
Author: rguenth
Date: Tue Feb  8 10:44:06 2011
New Revision: 169917

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169917
Log:
2011-02-08  Richard Guenther  <rguent...@suse.de>

    PR tree-optimization/47632
    * tree-ssa-forwprop.c (remove_prop_source_from_use): Remove
    unused up_to_stmt parameter, return whether cfg-cleanup is
    necessary, remove EH info properly.
    (forward_propagate_into_gimple_cond): Adjust caller.
    (forward_propagate_into_cond): Likewise.
    (forward_propagate_comparison): Likewise.
    (tree_ssa_forward_propagate_single_use_vars): Make
    forward_propagate_comparison case similar to the two others.

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

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr47632.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c