Lines Matching refs:getMaxValue
946 } else if (RMax == BVF.getMaxValue(ArgT)) { in appendInsideRangeDesc()
973 } else if (RMax == BVF.getMaxValue(ArgT)) { in appendOutOfRangeDesc()
1009 const llvm::APSInt &PlusInf = BVF.getMaxValue(ArgT); in applyOnOutOfRange()
1643 return BVF.getMaxValue(Ty).getLimitedValue(); in initFunctionSummaries()
1651 } getMaxValue(BVF); in initFunctionSummaries() local
1687 const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); in initFunctionSummaries()
1689 BVF.getMaxValue(UnsignedIntTy).getLimitedValue(); in initFunctionSummaries()
1690 const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue(); in initFunctionSummaries()
1691 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries()
1700 std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax); in initFunctionSummaries()
2070 std::optional<RangeInt> Ssize_tMax = getMaxValue(Ssize_tTy); in initFunctionSummaries()
2238 std::optional<RangeInt> Off_tMax = getMaxValue(Off_tTy); in initFunctionSummaries()
3109 std::optional<RangeInt> Socklen_tMax = getMaxValue(Socklen_tTy); in initFunctionSummaries()