Predicate SimpleRangeAnalysisInternal::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.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis