Searched refs:getBasicValueFactory (Results 1 – 12 of 12) sorted by relevance
79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
169 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function170 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
539 return svalBuilder->getBasicValueFactory(); in getBasicVals()
109 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
245 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()273 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()440 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in findFunctionSummary()
987 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()1044 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()1051 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
634 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()739 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
246 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
334 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()377 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()1157 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
534 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
542 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast()
332 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()