Predicate MakeUtils::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 codeql.rangeanalysis.internal.RangeUtilsGuard eqFlowCond(SsaVariable v, Expr e, Delta delta, boolean isEq, boolean testIsTrue)