On 8 January 2013 21:48, Jonathan Wakely wrote: > Tobias, please report it to bugzilla. The standard places no > requirements on what happens except that std::terminate is called but > even if it's not a bug there is room for improvement. I was a bit hasty, the standard does place some requirements: In the situation where the search for a handler (15.3) encounters the outermost block of a function with a noexcept-specification that does not allow the exception (15.4), it is implementation-defined whether the stack is unwound, unwound partially, or not unwound at all before std::terminate() is called. In all other G++ appears to partially unwind the stack, although that isn't documented at http://gcc.gnu.org/onlinedocs/gcc/Exception-handling.html
