codeql/cpp-all
0.6.0
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 )