17 Language support library [support]

17.10 Contract-violation handling [support.contract]

17.10.4 Invoke default handler [support.contract.invoke]

void invoke_default_contract_violation_handler(const contract_violation& v);
Effects: Invokes the default contract-violation handler ([basic.contract.handler]) with the argument v.