Use C++11 [[ noreturn ]].