Lines Matching refs:LCtx
177 const LocationContext *LCtx = Pred->getLocationContext();
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
179 LCtx->getAnalysisDeclContext()->getBody(),
246 const LocationContext *LCtx = CEBNode->getLocationContext();
247 SVal V = state->getSVal(RS, LCtx);
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx,
361 while (LCtx) {
362 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
370 LCtx = LCtx->getParent();
380 LCtx = LCtx->getParent();
537 const LocationContext *LCtx,
552 return State->BindExpr(E, LCtx, Msg->getReceiverSVal());
562 return State->BindExpr(E, LCtx, ThisV);
569 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
570 return State->BindExpr(E, LCtx, R);