632   BasicValueFactory &BVF = getBVF(State);  in describe()  local
650     const llvm::APSInt &Min = BVF.getValue(R.first, T);  in describe()
651     const llvm::APSInt &Max = BVF.getValue(R.second, T);  in describe()
701   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsOutOfRange()  local
710       const llvm::APSInt &Min = BVF.getValue(R[I].first, T);  in applyAsOutOfRange()
711       const llvm::APSInt &Max = BVF.getValue(R[I].second, T);  in applyAsOutOfRange()
730   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsWithinRange()  local
748     const llvm::APSInt &MinusInf = BVF.getMinValue(T);  in applyAsWithinRange()
749     const llvm::APSInt &PlusInf = BVF.getMaxValue(T);  in applyAsWithinRange()
751     const llvm::APSInt &Left = BVF.getValue(R[0].first - 1ULL, T);  in applyAsWithinRange()
759     const llvm::APSInt &Right = BVF.getValue(R[E - 1].second + 1ULL, T);  in applyAsWithinRange()
768       const llvm::APSInt &Min = BVF.getValue(R[I - 1].second + 1ULL, T);  in applyAsWithinRange()
769       const llvm::APSInt &Max = BVF.getValue(R[I].first - 1ULL, T);  in applyAsWithinRange()
955   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in initFunctionSummaries()  local
956   const ASTContext &ACtx = BVF.getContext();  in initFunctionSummaries()
1028     BasicValueFactory &BVF;  in initFunctionSummaries()  member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1031     GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {}  in initFunctionSummaries()  argument
1033       return BVF.getMaxValue(Ty).getLimitedValue();  in initFunctionSummaries()
1041   } getMaxValue(BVF);  in initFunctionSummaries()
1077   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()
1079       BVF.getMaxValue(UnsignedIntTy).getLimitedValue();  in initFunctionSummaries()
1080   const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue();  in initFunctionSummaries()
1081   const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue();  in initFunctionSummaries()
1090       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);  in initFunctionSummaries()
2423                                       /*MinBufSize=*/BVF.getValue(26, IntTy))));  in initFunctionSummaries()
2434                 /*MinBufSize=*/BVF.getValue(26, IntTy))));  in initFunctionSummaries()
2635                                       /*BufSize=*/BVF.getValue(10, IntTy))));  in initFunctionSummaries()