[Bug tree-optimization/47280] [4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -fnon-call-exceptions -ftrapv

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-14 
13:20:28 UTC ---
Author: rguenth
Date: Fri Jan 14 13:20:22 2011
New Revision: 168784

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

    PR tree-optimization/47280
    * tree-ssa-forwprop.c (associate_plusminus): Cleanup EH and
    return CFG changes.
    (tree_ssa_forward_propagate_single_use_vars): Deal with
    CFG changes from associate_plusminus.

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

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