Predicate RangeStage::initialBounded
Holds if b + delta is a valid bound for e.
upper = true:e <= b + deltaupper = false:e >= b + delta
Import path
import codeql.rangeanalysis.RangeAnalysisHolds if b + delta is a valid bound for e.
upper = true : e <= b + deltaupper = false : e >= b + deltaimport codeql.rangeanalysis.RangeAnalysis