Lines Matching refs:SVB
152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
335 auto &SVB = C.getSValBuilder(); in handleAssignment() local
350 State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT); in handleAssignment()
449 auto &SVB = C.getSValBuilder(); in handlePushBack() local
451 SVB.evalBinOp(State, BO_Add, in handlePushBack()
478 auto &SVB = C.getSValBuilder(); in handlePopBack() local
480 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
523 auto &SVB = C.getSValBuilder(); in handlePushFront() local
525 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
560 auto &SVB = C.getSValBuilder(); in handlePopFront() local
562 SVB.evalBinOp(State, BO_Add, in handlePopFront()
685 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
687 SVB.evalBinOp(State, BO_Add, in handleEraseAfter()
1018 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf() argument
1024 return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym, in rebaseSymbolInIteratorPositionsIf()
1033 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol() argument
1036 auto &SymMgr = SVB.getSymbolManager(); in rebaseSymbol()
1037 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr), in rebaseSymbol()
1045 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym), in rebaseSymbol()