Lines Matching refs:LCtx
391 const LocationContext *LCtx,
398 const LocationContext *LCtx,
566 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
948 const LocationContext *LCtx;
963 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r){}
1054 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1075 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1084 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1090 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1100 const LocationContext *LCtx,
1106 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
1155 const LocationContext *LCtx,
1172 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
1193 Ex, Count, LCtx, B, Invalidated);
1197 Ex, Count, LCtx, B, Invalidated);
2191 const StackFrameContext *LCtx)
2193 SymReaper(symReaper), CurrentLCtx(LCtx) {}
2308 const StackFrameContext *LCtx,
2311 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);