[Bug middle-end/57147] [4.9 Regression]: setjmp call and if body wrongly elided (function runs off early end)

[rguenth at gcc dot gnu.org]

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



--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-05-03 
09:46:45 UTC ---

It's fixup_cfg that removes the abnormal edge after ipa-pure-const figures

that SetNaClSwitchExpectations () is const.  And it's

gimple_purge_dead_abnormal_call_edges that

removes the abnormal edge despite it being fallthru as well.

That results in the CFG to end in a dead point here and things go downhill.