Predicate MakeUtils::valueFlowStep
Holds if e1 + delta equals e2.
Import path
import codeql.rangeanalysis.internal.RangeUtilspredicate valueFlowStep(Expr e2, Expr e1, Delta delta)Holds if e1 + delta equals e2.
import codeql.rangeanalysis.internal.RangeUtilspredicate valueFlowStep(Expr e2, Expr e1, Delta delta)