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