Predicate SimpleRangeAnalysisInternal::countNrOfUpperBounds
Counts the numbers of upper bounds that are computed internally for e.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysisCounts the numbers of upper bounds that are computed internally for e.
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis