Hello, We currently only initialise terminate_fn if exceptions are enabled. However, contract handling requires terminate_fn when building the contract as a contract failure may result in std::terminate call regardless of whether the exceptions are enabled. Added possible initialisation of terminate_fn if contracts are enabled. Minor refactoring of the init_exception_processing to reuse the terminate_fn initialisation.
Tested on x86_64-pc-linux-gnu. Patch attached to the email in hope of it being a workable solution for my email client. "OK for trunk?" :) Best, Nina
