118                                     QualType ArgT, BasicValueFactory &BVF,
123                                    QualType ArgT, BasicValueFactory &BVF,
324     void applyOnWithinRange(BasicValueFactory &BVF, QualType ArgT,
336     void applyOnOutOfRange(BasicValueFactory &BVF, QualType ArgT,
340     void applyOnRange(RangeKind Kind, BasicValueFactory &BVF, QualType ArgT,  in applyOnRange()  argument
344         applyOnOutOfRange(BVF, ArgT, F);  in applyOnRange()
347         applyOnWithinRange(BVF, ArgT, F);  in applyOnRange()
935                                                        BasicValueFactory &BVF,  in appendInsideRangeDesc()  argument
941   else if (RMin == BVF.getMinValue(ArgT)) {  in appendInsideRangeDesc()
946   } else if (RMax == BVF.getMaxValue(ArgT)) {  in appendInsideRangeDesc()
962                                                       BasicValueFactory &BVF,  in appendOutOfRangeDesc()  argument
968   } else if (RMin == BVF.getMinValue(ArgT)) {  in appendOutOfRangeDesc()
973   } else if (RMax == BVF.getMaxValue(ArgT)) {  in appendOutOfRangeDesc()
987     BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const {  in applyOnWithinRange()  argument
992     const llvm::APSInt &Min = BVF.getValue(Start, ArgT);  in applyOnWithinRange()
993     const llvm::APSInt &Max = BVF.getValue(End, ArgT);  in applyOnWithinRange()
1001     BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const {  in applyOnOutOfRange()  argument
1008   const llvm::APSInt &MinusInf = BVF.getMinValue(ArgT);  in applyOnOutOfRange()
1009   const llvm::APSInt &PlusInf = BVF.getMaxValue(ArgT);  in applyOnOutOfRange()
1011   const llvm::APSInt &RangeLeft = BVF.getValue(R[0].first - 1ULL, ArgT);  in applyOnOutOfRange()
1012   const llvm::APSInt &RangeRight = BVF.getValue(R[E - 1].second + 1ULL, ArgT);  in applyOnOutOfRange()
1016     const llvm::APSInt &Min = BVF.getValue(R[I - 1].second + 1ULL, ArgT);  in applyOnOutOfRange()
1017     const llvm::APSInt &Max = BVF.getValue(R[I].first - 1ULL, ArgT);  in applyOnOutOfRange()
1063   BasicValueFactory &BVF = getBVF(State);  in describe()  local
1073         appendInsideRangeDesc(BVF.getValue(R.first, T),  in describe()
1074                               BVF.getValue(R.second, T), T, BVF, Out);  in describe()
1080         appendOutOfRangeDesc(BVF.getValue(R.first, T),  in describe()
1081                              BVF.getValue(R.second, T), T, BVF, Out);  in describe()
1096   BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory();  in describeArgumentValue()  local
1113         appendInsideRangeDesc(Min, Max, T, BVF, MoreInfoOs);  in describeArgumentValue()
1121     applyOnRange(Kind, BVF, T, ApplyF);  in describeArgumentValue()
1564   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in initFunctionSummaries()  local
1565   const ASTContext &ACtx = BVF.getContext();  in initFunctionSummaries()
1638     BasicValueFactory &BVF;  in initFunctionSummaries()  member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1641     GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {}  in initFunctionSummaries()  argument
1643       return BVF.getMaxValue(Ty).getLimitedValue();  in initFunctionSummaries()
1651   } getMaxValue(BVF);  in initFunctionSummaries()
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()
3551                                       /*MinBufSize=*/BVF.getValue(26, IntTy))));  in initFunctionSummaries()
3562                 /*MinBufSize=*/BVF.getValue(26, IntTy))));  in initFunctionSummaries()
3704     const RangeInt IntMin = BVF.getMinValue(IntTy).getLimitedValue();  in initFunctionSummaries()
3896                                       /*BufSize=*/BVF.getValue(10, IntTy))));  in initFunctionSummaries()