Actually, `noreturn` is a standard part of c[1]. Can just specify as _Noreturn, or include a header that aliases it directly to noreturn. Don't know about c++

Actually, `noreturn` is a standard part of c[1]. Can just specify as _Noreturn, or include a header that aliases it directly to noreturn. Don't know about c++, but it probably has it as [[noreturn]]? 1: http://en.cppreference.com/w/c/language/_Noreturn http://en.cppreference.com/w/c/language/_Noreturn