Member predicate Nullness::AnalysedExpr::isNullCheck

Holds if v is null when this expression evaluates to a true value.

predicate isNullCheck(LocalScopeVariable v)