Home | History | Annotate | Download | only in Core

Lines Matching defs:LCtx

31   const LocationContext *LCtx = Pred->getLocationContext();
33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
56 const LocationContext *LCtx = Pred->getLocationContext();
73 PostStmt PS(CallExpr, LCtx);
78 State = State->BindExpr(CallExpr, LCtx, ThisVal);
80 State = bindReturnValue(Call, LCtx, State);
109 const LocationContext *LCtx = Pred->getLocationContext();
120 SVal LValue = State->getLValue(Var, LCtx);
129 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
131 getSValBuilder().getCXXThis(CurCtor, LCtx->getCurrentStackFrame());
156 return MRMgr.getCXXTempObjectRegion(CE, LCtx);
236 const LocationContext *LCtx = Pred->getLocationContext();
253 if (const Stmt *Outer = LCtx->getCurrentStackFrame()->getCallSite()) {
271 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
273 LCtx->getCurrentStackFrame());
292 CEMgr.getCXXConstructorCall(CE, Target, State, LCtx);
361 const LocationContext *LCtx = Pred->getLocationContext();
379 CEMgr.getCXXDestructorCall(DtorDecl, S, Dest, IsBaseDtor, State, LCtx);
404 const LocationContext *LCtx = Pred->getLocationContext();
410 CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
434 const LocationContext *LCtx = Pred->getLocationContext();
455 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
457 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
463 CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
508 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
514 State = State->BindExpr(CNE, LCtx, Result);
525 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
547 const LocationContext *LCtx = Pred->getLocationContext();
548 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
551 state = state->bindLoc(state->getLValue(VD, LCtx), V);
562 const LocationContext *LCtx = Pred->getLocationContext();
566 LCtx);
570 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));