Predicate Guards::controlsNodeWithSameVar

DEPRECATED: Use semmle.code.java.dataflow.SSA instead.

Statements controlled by the condition in s for which v is unchanged (v is the same SSA variable in both s and controlled). The condition in s must contain an access of v.

predicate controlsNodeWithSameVar(ConditionNode cn, boolean testIsTrue, LocalScopeVariable v, ControlFlowNode controlled)