Lines Matching defs:SVB
143 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
145 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
326 auto &SVB = C.getSValBuilder();
341 State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);
440 auto &SVB = C.getSValBuilder();
442 SVB.evalBinOp(State, BO_Add,
469 auto &SVB = C.getSValBuilder();
471 SVB.evalBinOp(State, BO_Sub,
514 auto &SVB = C.getSValBuilder();
516 SVB.evalBinOp(State, BO_Sub,
551 auto &SVB = C.getSValBuilder();
553 SVB.evalBinOp(State, BO_Add,
676 auto &SVB = C.getSValBuilder();
678 SVB.evalBinOp(State, BO_Add,
1013 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
1019 return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym,
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,
1031 auto &SymMgr = SVB.getSymbolManager();
1032 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),
1040 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),