Predicate ssaUpdateStep
Holds if v is an SsaExplicitUpdate that equals e + delta.
Import path
import semmle.code.java.dataflow.RangeUtilspredicate ssaUpdateStep(SsaExplicitUpdate v, Expr e, int delta)Holds if v is an SsaExplicitUpdate that equals e + delta.
import semmle.code.java.dataflow.RangeUtilspredicate ssaUpdateStep(SsaExplicitUpdate v, Expr e, int delta)