[Bug tree-optimization/46233] [4.6 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block 3 with -foptimize-sibling-calls

[rguenth at gcc dot gnu.org]

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

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-04 
14:56:57 UTC ---
I think it's fragile to call verify_flow_info from loop_optimizer_finalize
but your patch in comment #5 looks perfectly reasonable and is ok if it
passed bootstrap & regtest.