Predicate widenUpperBound
Gets the widened upper bound for a given type and upper bound.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysisfloat widenUpperBound(Type type, float ub)Gets the widened upper bound for a given type and upper bound.
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysisfloat widenUpperBound(Type type, float ub)