Module SimpleRangeAnalysisInternal

INTERNAL: do not use. This module contains utilities for use in the experimental SimpleRangeAnalysisExpr module.

Import path

import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis

getDefLowerBounds	Get the lower bounds for a `RangeSsaDefinition`. Most of the work is done by `getDefLowerBoundsImpl`, but this is where widening is applied to prevent the analysis from exploding due to a recursive definition.
getDefUpperBounds	See comment for `getDefLowerBounds`, above.
getFullyConvertedLowerBounds	Gets the truncated lower bounds of the fully converted expression.
getFullyConvertedUpperBounds	Gets the truncated upper bounds of the fully converted expression.