Predicate Cached::abortingFunction
Functions that are known not to return. This is normally because the function exits the program or longjmps to another location.
Import path
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate abortingFunction(Function f)