Predicate MakeUtils::ssaUpdateStep
Holds if v is an SsaExplicitUpdate that equals e + delta.
Import path
import codeql.rangeanalysis.internal.RangeUtilspredicate ssaUpdateStep(SsaExplicitUpdate v, Expr e, Delta delta)Holds if v is an SsaExplicitUpdate that equals e + delta.
import codeql.rangeanalysis.internal.RangeUtilspredicate ssaUpdateStep(SsaExplicitUpdate v, Expr e, Delta delta)