Predicate SimpleRangeAnalysisInternal::getDefUpperBounds
See comment for getDefLowerBounds, above.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysisSee comment for getDefLowerBounds, above.
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis