Predicate SimpleRangeAnalysisInternal::estimateNrOfBounds
Gets the estimate of the number of bounds for e.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysisGets the estimate of the number of bounds for e.
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis