Gets the truncated upper bounds of the fully converted expression.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysisGets the truncated upper bounds of the fully converted expression.
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis