385     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
986   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in assumeNoOverflow()  local
987   BasicValueFactory &BV = SVB.getBasicValueFactory();  in assumeNoOverflow()
997       SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),  in assumeNoOverflow()
998                       nonloc::ConcreteInt(Max), SVB.getConditionType());  in assumeNoOverflow()
1007       SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),  in assumeNoOverflow()
1008                       nonloc::ConcreteInt(Min), SVB.getConditionType());  in assumeNoOverflow()
1223           auto &SVB = C.getSValBuilder();  in handleAssign()  local
1238               State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);  in handleAssign()
1320     auto &SVB = C.getSValBuilder();  in handlePushBack()  local
1322       SVB.evalBinOp(State, BO_Add,  in handlePushBack()
1346     auto &SVB = C.getSValBuilder();  in handlePopBack()  local
1348       SVB.evalBinOp(State, BO_Sub,  in handlePopBack()
1389       auto &SVB = C.getSValBuilder();  in handlePushFront()  local
1391         SVB.evalBinOp(State, BO_Sub,  in handlePushFront()
1424     auto &SVB = C.getSValBuilder();  in handlePopFront()  local
1426       SVB.evalBinOp(State, BO_Add,  in handlePopFront()
1531   auto &SVB = C.getSValBuilder();  in handleEraseAfter()  local
1533     SVB.evalBinOp(State, BO_Add,  in handleEraseAfter()
1561   auto &SVB = C.getSValBuilder();  in advancePosition()  local
1569     return Pos.setTo(SVB.evalBinOp(State, BinOp,  in advancePosition()
1631 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
2108   auto &SVB = State->getStateManager().getSValBuilder();  in relateIteratorPositions()  local
2116       SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Pos1.getOffset()),  in relateIteratorPositions()
2118                     SVB.getConditionType());  in relateIteratorPositions()
2279     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()  argument
2285     return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym,  in rebaseSymbolInIteratorPositionsIf()
2294 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()  argument
2297   auto &SymMgr = SVB.getSymbolManager();  in rebaseSymbol()
2298   auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),  in rebaseSymbol()
2306   return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),  in rebaseSymbol()
2385   auto &SVB = State->getStateManager().getSValBuilder();  in compare()  local
2388     SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());  in compare()