Lines Matching refs:terminate_handler
309 // Use the stored terminate_handler if possible1203 std::terminate_handler t_handler;