Lines Matching refs:BasicValueFactory
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,
907 static BasicValueFactory &getBVF(ProgramStateRef State) {
935 BasicValueFactory &BVF,
962 BasicValueFactory &BVF,
987 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const {
1001 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const {
1063 BasicValueFactory &BVF = getBVF(State);
1096 BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory();
1564 BasicValueFactory &BVF = SVB.getBasicValueFactory();
1638 BasicValueFactory &BVF;
1641 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {}