Predicate functionExit
Holds if exit is the exit node of a function.
Import path
import semmle.code.cpp.controlflow.Dominancepredicate functionExit(ControlFlowNode exit)Holds if exit is the exit node of a function.
import semmle.code.cpp.controlflow.Dominancepredicate functionExit(ControlFlowNode exit)