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,
192 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
210 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
292 const LocationContext *LCtx,
295 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
653 const LocationContext *LCtx,
658 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol();
662 const MemRegion *R = getSVal(S, LCtx).getAsRegion();
688 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx,
693 SVal val = getSVal(S, LCtx);