Predicate RangeUtils::eqFlowCond

Gets a condition that tests whether v equals e + delta.

If the condition evaluates to testIsTrue:

  • isEq = true : v == e + delta
  • isEq = false : v != e + delta
Guard eqFlowCond(SsaVariable v, Expr e, int delta, boolean isEq, boolean testIsTrue)