Searched refs:getBasicValueFactory (Results 1 – 9 of 9) sorted by relevance
84 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
199 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
494 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
409 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast()
340 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
875 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
134 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function135 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
484 return svalBuilder->getBasicValueFactory(); in getBasicVals()
553 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()