Lines Matching defs:LCtx
156 const LocationContext *LCtx,
167 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType);
169 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
174 const LocationContext *LCtx,
183 SymbolRef sym = SymMgr.conjureSymbol(St, LCtx, type, count, symbolTag);
192 const LocationContext *LCtx,
201 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
210 const LocationContext *LCtx,
213 return getConjuredHeapSymbolVal(E, LCtx, T, VisitCount);
217 const LocationContext *LCtx,
228 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, type, VisitCount);
233 const LocationContext *LCtx,
236 getRegionManager().getAllocaRegion(E, VisitCount, LCtx);
243 const LocationContext *LCtx,
247 SymbolRef sym = SymMgr.acquire<SymbolMetadata>(region, expr, type, LCtx,