Predicate boundedImpl
Holds if i <= b + delta and delta is the smallest integer that satisfies
this condition.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisUtilpredicate boundedImpl(Instruction i, Instruction b, int delta)Holds if i <= b + delta and delta is the smallest integer that satisfies
this condition.
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisUtilpredicate boundedImpl(Instruction i, Instruction b, int delta)