Predicate SimpleRangeAnalysisCached::upperBoundMayBeWidened
Holds if the upper bound of expr may have been widened. This means the upper bound is in practice likely to be overly wide.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysispredicate upperBoundMayBeWidened(Expr e)