Predicate eqFlowCond
Gets a condition that tests whether v equals e + delta.
If the condition evaluates to testIsTrue:
isEq = true:v == e + deltaisEq = false:v != e + delta
Import path
import semmle.code.java.dataflow.RangeUtilsGuard eqFlowCond(SsaVariable v, Expr e, int delta, boolean isEq, boolean testIsTrue)