21 Language support library [language.support]

21.8 Exception handling [support.exception]

21.8.4 Abnormal termination [exception.terminate] Type terminate_­handler [terminate.handler]

using terminate_handler = void (*)();

The type of a handler function to be called by std​::​terminate() when terminating exception processing.

Required behavior: A terminate_­handler shall terminate execution of the program without returning to the caller.

Default behavior: The implementation's default terminate_­handler calls abort().