Predicate functionExit
Holds if exit
is the exit node of a function.
Import path
import cpp
predicate
functionExit
(
ControlFlowNode
exit
)