Member predicate StackVariableReachabilityWithReassignment::isSinkActual
Override this predicate rather than isSink (isSink is used internally).
predicate isSinkActual(ControlFlowNode node, StackVariable v)Override this predicate rather than isSink (isSink is used internally).
predicate isSinkActual(ControlFlowNode node, StackVariable v)