21 Language support library [language.support]

21.8 Exception handling [support.exception]

21.8.4 Abnormal termination [exception.terminate]

21.8.4.4 terminate [terminate]

[[noreturn]] void terminate() noexcept;
Remarks: Called by the implementation when exception handling must be abandoned for any of several reasons ([except.terminate]).
May also be called directly by the program.
Effects: Calls a terminate_­handler function.
It is unspecified which terminate_­handler function will be called if an exception is active during a call to set_­terminate.
Otherwise calls the current terminate_­handler function.
[ Note
:
A default terminate_­handler is always considered a callable handler in this context.
— end note
 ]