Predicate JavaLangImpl::additionalBoundFlowStep
Holds if e2 >= e1 + delta (if upper = false) or e2 <= e1 + delta (if upper = true).
Import path
import semmle.code.java.dataflow.RangeAnalysispredicate additionalBoundFlowStep(Expr e2, Expr e1, int delta, boolean upper)