Lines Matching refs:LCtx
91 const StackFrameContext *LCtx,
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
141 const LocationContext *LCtx,
151 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
158 const LocationContext *LCtx,
164 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
171 const LocationContext *LCtx,
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
291 const LocationContext *LCtx,
294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
652 const LocationContext *LCtx,
657 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol();
661 const MemRegion *R = getSVal(S, LCtx).getAsRegion();
687 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx,
692 SVal val = getSVal(S, LCtx);