Lines Matching defs:LCtx

92     ProgramStateRef state, const StackFrameContext *LCtx,
106   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
116                                       const LocationContext *LCtx,
123     return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);
130                                  const LocationContext *LCtx) const {
135   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);
139 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const {
144   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);
152     const LocationContext *LCtx, bool CausedByPointerEscape,
159   return invalidateRegions(Values, S, Count, LCtx, CausedByPointerEscape, IS,
165     const LocationContext *LCtx, bool CausedByPointerEscape,
183       getStore(), Values, S, Count, LCtx, Call, *IS, *ITraits,
194                                   Invalidated, LCtx, Call);
240 SVal ProgramState::getSelfSVal(const LocationContext *LCtx) const {
241   const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
244   return getSVal(getRegion(SelfDecl, LCtx));
303                                            const LocationContext *LCtx,
306     getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
479 void ProgramState::printJson(raw_ostream &Out, const LocationContext *LCtx,
491   Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot);
500   Mgr.getOwningEngine().printJson(Out, this, LCtx, NL, Space, IsDot);
506 void ProgramState::printDOT(raw_ostream &Out, const LocationContext *LCtx,
508   printJson(Out, LCtx, /*NL=*/"\\l", Space, /*IsDot=*/true);