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