[except.terminate] (original) (raw)

In the situation where no matching handler is found, it isimplementation-defined whether or not the stack is unwound beforestd​::​terminateis called.

In the situation where the search for a handler encounters the outermost block of a function with a non-throwing exception specification, it isimplementation-defined whether the stack is unwound, unwound partially, or not unwound at all before the function std​::​terminate is called.

In all other situations, the stack shall not be unwound before the function std​::​terminateis called.

An implementation is not permitted to finish stack unwinding prematurely based on a determination that the unwind process will eventually cause a call to the functionstd​::​terminate.