Lines Matching defs:SVB
193 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
197 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
763 auto &SVB = C.getSValBuilder();
778 State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);
860 auto &SVB = C.getSValBuilder();
862 SVB.evalBinOp(State, BO_Add,
887 auto &SVB = C.getSValBuilder();
889 SVB.evalBinOp(State, BO_Sub,
930 auto &SVB = C.getSValBuilder();
932 SVB.evalBinOp(State, BO_Sub,
965 auto &SVB = C.getSValBuilder();
967 SVB.evalBinOp(State, BO_Add,
1072 auto &SVB = C.getSValBuilder();
1074 SVB.evalBinOp(State, BO_Add,
1393 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1394 BasicValueFactory &BV = SVB.getBasicValueFactory();
1404 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),
1405 nonloc::ConcreteInt(Max), SVB.getConditionType());
1414 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),
1415 nonloc::ConcreteInt(Min), SVB.getConditionType());
1427 auto &SVB = State->getStateManager().getSValBuilder();
1435 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
1436 nonloc::SymbolVal(Sym2), SVB.getConditionType());
1600 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
1606 return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym,
1615 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,
1618 auto &SymMgr = SVB.getSymbolManager();
1619 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),
1627 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),