Lines Matching defs:getMaxValue

946   } else if (RMax == BVF.getMaxValue(ArgT)) {
973   } else if (RMax == BVF.getMaxValue(ArgT)) {
1009   const llvm::APSInt &PlusInf = BVF.getMaxValue(ArgT);
1646       return BVF.getMaxValue(Ty)->getLimitedValue();
1654   } getMaxValue(BVF);
1690   const RangeInt IntMax = BVF.getMaxValue(IntTy)->getLimitedValue();
1692       BVF.getMaxValue(UnsignedIntTy)->getLimitedValue();
1693   const RangeInt LongMax = BVF.getMaxValue(LongTy)->getLimitedValue();
1694   const RangeInt SizeMax = BVF.getMaxValue(SizeTy)->getLimitedValue();
1703       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy)->getLimitedValue(), IntMax);
2073   std::optional<RangeInt> Ssize_tMax = getMaxValue(Ssize_tTy);
2241     std::optional<RangeInt> Off_tMax = getMaxValue(Off_tTy);
3112     std::optional<RangeInt> Socklen_tMax = getMaxValue(Socklen_tTy);