http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52839
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-04-04 00:19:29 UTC --- I can reliably reproduce that uncaught exception, which should be caught by the handler on line 134, but not a double-free
