[Bug tree-optimization/47640] [4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -fstack-check=generic -fnon-call-exceptions -ftrapv

[law at redhat dot com]

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

--- Comment #2 from Jeffrey A. Law <law at redhat dot com> 2011-02-08 14:37:27 UTC ---
tree-ssa-forwprop is either not doing the right thing WRT EH edges when it
removes statements which potentially throw or shouldn't be removing the
potentially throwing statements.

There's no doubt in my mind there's a myriad of these kinds of problems
throughout the compiler.