Holds if a call to this function will never return.
By default, this holds for exit, _exit, _Exit, abort,
__assert_fail, longjmp, __builtin_unreachable and any
function with a noreturn, __noreturn__, or _Noreturn
attribute or noreturn specifier.