Predicate checkedValid
Holds if var
is likely to be non-null at node
.
Import path
import cpp
predicate
checkedValid
(
Variable
var
,
ControlFlowNode
node
)