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