Predicate Nullness::checkedValid
Holds if var
is likely to be non-null at node
.
predicate checkedValid(Variable var, ControlFlowNode node)
Holds if var
is likely to be non-null at node
.
predicate checkedValid(Variable var, ControlFlowNode node)