Member predicate AnalysedExpr::isNullCheck
Holds if v
is null when this expression evaluates to a true value.
predicate isNullCheck(LocalScopeVariable v)
Holds if v
is null when this expression evaluates to a true value.
predicate isNullCheck(LocalScopeVariable v)