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()
934                                                        QualType ArgT,  in appendInsideRangeDesc()  argument
941   else if (RMin == BVF.getMinValue(ArgT)) {  in appendInsideRangeDesc()
946   } else if (RMax == BVF.getMaxValue(ArgT)) {  in appendInsideRangeDesc()
961                                                       QualType ArgT,  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()