[Bug c++/55635] Deallocation function ("operator delete") not called when destructor throws exception

[redi at gcc dot gnu.org]

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



--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-10 
10:37:29 UTC ---

G++ 4.7 doesn't call terminate because it doesn't implement

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1123, but trunk

does.