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