Member predicate AnalysedExpr::isUse
Holds if this is a VariableAccess
of v
nested inside a condition.
predicate isUse(LocalScopeVariable v)
Holds if this is a VariableAccess
of v
nested inside a condition.
predicate isUse(LocalScopeVariable v)