91     ProgramStateRef state, const StackFrameContext *LCtx,  in removeDeadBindingsFromEnvironmentAndStore()  argument
105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,  in removeDeadBindingsFromEnvironmentAndStore()
115                                       const LocationContext *LCtx,  in bindLoc()  argument
122     return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);  in bindLoc()
129                                  const LocationContext *LCtx) const {  in bindDefaultInitial()
134   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);  in bindDefaultInitial()
138 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const {  in bindDefaultZero()
143   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);  in bindDefaultZero()
152                              const LocationContext *LCtx,  in invalidateRegions()  argument
162   return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,  in invalidateRegions()
169                              const LocationContext *LCtx,  in invalidateRegions()  argument
175   return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,  in invalidateRegions()
182                                     const LocationContext *LCtx,  in invalidateRegionsImpl()  argument
201   = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,  in invalidateRegionsImpl()
215                                   Invalidated, LCtx, Call);  in invalidateRegionsImpl()
239 SVal ProgramState::getSelfSVal(const LocationContext *LCtx) const {  in getSelfSVal()
240   const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();  in getSelfSVal()
243   return getSVal(getRegion(SelfDecl, LCtx));  in getSelfSVal()
304                                            const LocationContext *LCtx,  in BindExpr()  argument
307     getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,  in BindExpr()
460 void ProgramState::printJson(raw_ostream &Out, const LocationContext *LCtx,  in printJson()  argument
472   Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot);  in printJson()
481   Mgr.getOwningEngine().printJson(Out, this, LCtx, NL, Space, IsDot);  in printJson()
487 void ProgramState::printDOT(raw_ostream &Out, const LocationContext *LCtx,  in printDOT()  argument
489   printJson(Out, LCtx, /*NL=*/"\\l", Space, /*IsDot=*/true);  in printDOT()