http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51737
--- Comment #13 from Jan Hubicka <hubicka at ucw dot cz> 2012-02-29 15:01:31 UTC --- > The question is why we call delete_unreachable_blocks from > tree_function_versioning at all. We do not bother updating the > callgraph anywhere else. > > Honza, you added that beast? Well, after clonning we alter CFG and we need to update SSA for which we need to update dominators and those needs unreachable blocks gone. I will look into this. Honza