Searched refs:getBasicValueFactory (Results 1 – 10 of 10) sorted by relevance
89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
139 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function140 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
492 return svalBuilder->getBasicValueFactory(); in getBasicVals()
103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
199 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
483 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
487 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast()
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
895 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()