Home | History | Annotate | Download | only in Core

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();
536 const LocationContext *LCtx,
551 return State->BindExpr(E, LCtx, Msg->getReceiverSVal());
561 return State->BindExpr(E, LCtx, ThisV);
568 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
569 return State->BindExpr(E, LCtx, R);