792   BasicValueFactory &BVF = getBVF(State);  in describe()  local
810     const llvm::APSInt &Min = BVF.getValue(R.first, T);  in describe()
811     const llvm::APSInt &Max = BVF.getValue(R.second, T);  in describe()
861   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsOutOfRange()  local
870       const llvm::APSInt &Min = BVF.getValue(R[I].first, T);  in applyAsOutOfRange()
871       const llvm::APSInt &Max = BVF.getValue(R[I].second, T);  in applyAsOutOfRange()
890   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsWithinRange()  local
908     const llvm::APSInt &MinusInf = BVF.getMinValue(T);  in applyAsWithinRange()
909     const llvm::APSInt &PlusInf = BVF.getMaxValue(T);  in applyAsWithinRange()
911     const llvm::APSInt &Left = BVF.getValue(R[0].first - 1ULL, T);  in applyAsWithinRange()
919     const llvm::APSInt &Right = BVF.getValue(R[E - 1].second + 1ULL, T);  in applyAsWithinRange()
928       const llvm::APSInt &Min = BVF.getValue(R[I - 1].second + 1ULL, T);  in applyAsWithinRange()
929       const llvm::APSInt &Max = BVF.getValue(R[I].first - 1ULL, T);  in applyAsWithinRange()
1141   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in initFunctionSummaries()  local
1142   const ASTContext &ACtx = BVF.getContext();  in initFunctionSummaries()
1214     BasicValueFactory &BVF;  in initFunctionSummaries()  member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1217     GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {}  in initFunctionSummaries()  argument
1219       return BVF.getMaxValue(Ty).getLimitedValue();  in initFunctionSummaries()
1227   } getMaxValue(BVF);  in initFunctionSummaries()
1263   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()
1265       BVF.getMaxValue(UnsignedIntTy).getLimitedValue();  in initFunctionSummaries()
1266   const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue();  in initFunctionSummaries()
1267   const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue();  in initFunctionSummaries()
1276       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);  in initFunctionSummaries()
2779                                       /*MinBufSize=*/BVF.getValue(26, IntTy))));  in initFunctionSummaries()
2790                 /*MinBufSize=*/BVF.getValue(26, IntTy))));  in initFunctionSummaries()
2993                                       /*BufSize=*/BVF.getValue(10, IntTy))));  in initFunctionSummaries()