StdLibraryFunctionsChecker.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

Lines Matching defs:BVF
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,
344         applyOnOutOfRange(BVF, ArgT, F);
347         applyOnWithinRange(BVF, ArgT, F);
935                                                        BasicValueFactory &BVF,
941   else if (RMin == BVF.getMinValue(ArgT)) {
946   } else if (RMax == BVF.getMaxValue(ArgT)) {
962                                                       BasicValueFactory &BVF,
968   } else if (RMin == BVF.getMinValue(ArgT)) {
973   } else if (RMax == BVF.getMaxValue(ArgT)) {
987     BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const {
992     const llvm::APSInt &Min = BVF.getValue(Start, ArgT);
993     const llvm::APSInt &Max = BVF.getValue(End, ArgT);
1001     BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const {
1008   const llvm::APSInt &MinusInf = BVF.getMinValue(ArgT);
1009   const llvm::APSInt &PlusInf = BVF.getMaxValue(ArgT);
1011   const llvm::APSInt &RangeLeft = BVF.getValue(R[0].first - 1ULL, ArgT);
1012   const llvm::APSInt &RangeRight = BVF.getValue(R[E - 1].second + 1ULL, ArgT);
1016     const llvm::APSInt &Min = BVF.getValue(R[I - 1].second + 1ULL, ArgT);
1017     const llvm::APSInt &Max = BVF.getValue(R[I].first - 1ULL, ArgT);
1063   BasicValueFactory &BVF = getBVF(State);
1073         appendInsideRangeDesc(BVF.getValue(R.first, T),
1074                               BVF.getValue(R.second, T), T, BVF, Out);
1080         appendOutOfRangeDesc(BVF.getValue(R.first, T),
1081                              BVF.getValue(R.second, T), T, BVF, Out);
1096   BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory();
1113         appendInsideRangeDesc(Min, Max, T, BVF, MoreInfoOs);
1121     applyOnRange(Kind, BVF, T, ApplyF);
1567   BasicValueFactory &BVF = SVB.getBasicValueFactory();
1568   const ASTContext &ACtx = BVF.getContext();
1641     BasicValueFactory &BVF;
1644     GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {}
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);
3554                                       /*MinBufSize=*/BVF.getValue(26, IntTy))));
3565                 /*MinBufSize=*/BVF.getValue(26, IntTy))));
3707     const RangeInt IntMin = BVF.getMinValue(IntTy)->getLimitedValue();
3899                                       /*BufSize=*/BVF.getValue(10, IntTy))));