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