Lines Matching defs:SVB
232 auto &SVB = State->getStateManager().getSValBuilder();
251 Pos->setTo(SVB.evalBinOp(State, BinOp,
267 SValBuilder &SVB = State->getStateManager().getSValBuilder();
268 BasicValueFactory &BV = SVB.getBasicValueFactory();
278 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),
279 nonloc::ConcreteInt(Max), SVB.getConditionType());
288 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),
289 nonloc::ConcreteInt(Min), SVB.getConditionType());
306 auto &SVB = State->getStateManager().getSValBuilder();
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());