Lines Matching defs:SVB

230   auto &SVB = State->getStateManager().getSValBuilder();
249     Pos->setTo(SVB.evalBinOp(State, BinOp,
265   SValBuilder &SVB = State->getStateManager().getSValBuilder();
266   BasicValueFactory &BV = SVB.getBasicValueFactory();
275   SVal IsCappedFromAbove = SVB.evalBinOpNN(
277       nonloc::ConcreteInt(BV.getValue(Max)), SVB.getConditionType());
285   SVal IsCappedFromBelow = SVB.evalBinOpNN(
287       nonloc::ConcreteInt(BV.getValue(Min)), SVB.getConditionType());
304   auto &SVB = State->getStateManager().getSValBuilder();
307     SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());