Lines Matching defs:SVB

94   SValBuilder &SVB = State->getStateManager().getSValBuilder();
95   ASTContext &Ctx = SVB.getContext();
102     LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue);
118   SValBuilder &SVB = getSValBuilder();
119   MemRegionManager &MRMgr = SVB.getRegionManager();
120   ASTContext &ACtx = SVB.getContext();
139       Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame());
148         return SVB.makeLoc(BaseReg);
182                                             MR, SVB.getContext());
238         return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy,
509   SValBuilder &SVB = State->getStateManager().getSValBuilder();
510   MemRegionManager &MRMgr = SVB.getRegionManager();
511   ASTContext &Ctx = SVB.getContext();