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 or __noreturn__ attribute or
noreturn specifier.