codeql/cpp-all
0.9.2
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if a call to this function will never return.
By default, this holds for exit, _exit, abort, __assert_fail, longjmp, __builtin_unreachable and any function with a noreturn attribute or specifier.
exit
_exit
abort
__assert_fail
longjmp
__builtin_unreachable
noreturn
predicate exits ( Function f )