Use C++'s standardized [[noreturn]] attribute