Lines Matching defs:ArgT

118                                     QualType ArgT, BasicValueFactory &BVF,
123                                    QualType ArgT, BasicValueFactory &BVF,
324     void applyOnWithinRange(BasicValueFactory &BVF, QualType ArgT,
334     /// The \p ArgT is used to determine the min and max of the type that is
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);
934                                                        QualType ArgT,
941   else if (RMin == BVF.getMinValue(ArgT)) {
946   } else if (RMax == BVF.getMaxValue(ArgT)) {
961                                                       QualType ArgT,
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);