Fix misuse of [[noreturn]] indicated by latest Clang.