Lines Matching refs:terminate_handler
312 // Use the stored terminate_handler if possible1176 std::terminate_handler t_handler;