http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58294
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #7) > > The fix is to preserve this "nonthrowing". That's how I made it work > > Yes, this was my first tought, too. > > > for the abnormal edge case. Thus, wrap it in a NOTHROW region? > > I think we would have to invent it, since we have only must_not_throw. > Let me analyze this a bit furhter. Well, must_not_throw would work, too. Richard. > Honza