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, in applyOnRange()
907 static BasicValueFactory &getBVF(ProgramStateRef State) { in getBVF()
935 BasicValueFactory &BVF, in appendInsideRangeDesc()
962 BasicValueFactory &BVF, in appendOutOfRangeDesc()
987 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnWithinRange()
1001 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnOutOfRange()
1063 BasicValueFactory &BVF = getBVF(State); in describe()
1096 BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory(); in describeArgumentValue()
1564 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
1638 BasicValueFactory &BVF; in initFunctionSummaries()
1641 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {} in initFunctionSummaries()