Lines Matching defs:LCtx

36   const LocationContext *LCtx = Pred->getLocationContext();
38   state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
64   const LocationContext *LCtx = Pred->getLocationContext();
81   PostStmt PS(CallExpr, LCtx);
85       State = State->BindExpr(CallExpr, LCtx, ThisVal);
87       State = bindReturnValue(Call, LCtx, State);
115     const LocationContext *LCtx, const ConstructionContext *CC,
131       return makeElementRegion(State, State->getLValue(Var, LCtx), Ty,
138       const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
139       Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame());
171         SVal V = *getObjectUnderConstruction(State, NE, LCtx);
198       const StackFrameContext *SFC = LCtx->getStackFrame();
258           TCC->getConstructorAfterElision(), State, BldrCtx, LCtx,
296               MRMgr.getCXXLifetimeExtendedObjectRegion(E, VD, LCtx));
301       return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
309           MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx));
312       if (getIndexOfElementToConstruct(State, CE, LCtx)) {
359             CEMgr.getSimpleCall(CE, State, LCtx, getCFGElementRef());
368             CCE, /*Target=*/nullptr, State, LCtx, getCFGElementRef());
375             CEMgr.getObjCMethodCall(ME, State, LCtx, getCFGElementRef());
388   return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
392     SVal V, const Expr *E, ProgramStateRef State, const LocationContext *LCtx,
407     return addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, V);
417       return addObjectUnderConstruction(State, Init, LCtx, V);
424       const StackFrameContext *SFC = LCtx->getStackFrame();
450             V, TCC->getConstructorAfterElision(), State, LCtx,
455             State, TCC->getConstructorAfterElision(), LCtx, V);
459           State = elideDestructor(State, BTE, LCtx);
464           State = addObjectUnderConstruction(State, MTE, LCtx, V);
475         State = addObjectUnderConstruction(State, BTE, LCtx, V);
478         State = addObjectUnderConstruction(State, MTE, LCtx, V);
491           State, {LCC->getLambdaExpr(), LCC->getIndex()}, LCtx, V);
496         State = addObjectUnderConstruction(State, BTE, LCtx, V);
499           State, {ACC->getCallLikeExpr(), ACC->getIndex()}, LCtx, V);
508                                       const LocationContext *LCtx, NonLoc Idx) {
521       cast<SubRegion>(State->getSVal(SourceArray, LCtx).getAsRegion());
525   return State->BindExpr(Ctor->getArg(0), LCtx,
536   const LocationContext *LCtx = Pred->getLocationContext();
543             getObjectUnderConstruction(State, CE, LCtx)) {
549         State = finishObjectConstruction(State, CE, LCtx);
551           State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType()));
596       Idx = getIndexOfElementToConstruct(State, CE, LCtx).value_or(0u);
597       State = setIndexOfElementToConstruct(State, CE, LCtx, Idx + 1);
602       if (!getPendingInitLoop(State, CE, LCtx))
604             State, CE, LCtx,
608           State, AILE, LCtx, svalBuilder.makeArrayIndex(Idx));
613         CE, State, currBldrCtx, LCtx, CC, CallOpts, Idx);
620         LCtx->getStackFrame()->getCallSite());
642     if (isa_and_nonnull<InitListExpr>(LCtx->getParentMap().getParent(E))) {
644       Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
650     const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
652                                               LCtx->getStackFrame());
684                 CIE, TargetRegion, State, LCtx, getCFGElementRef())
686                 CE, TargetRegion, State, LCtx, getCFGElementRef());
710         State = State->bindDefaultZero(Target, LCtx);
749   const AnalysisDeclContext *ADC = LCtx->getAnalysisDeclContext();
811   const LocationContext *LCtx = Pred->getLocationContext();
824     PostImplicitCall PP(/*Decl=*/nullptr, S->getEndLoc(), LCtx,
851       DtorDecl, S, Dest, IsBaseDtor, State, LCtx, getCFGElementRef());
874   const LocationContext *LCtx = Pred->getLocationContext();
880       CEMgr.getCXXAllocatorCall(CNE, State, LCtx, getCFGElementRef());
909     SVal RetVal = State->getSVal(CNE, LCtx);
914     State = State->bindDefaultInitial(RetVal, UndefinedVal{}, LCtx);
931         CNE, I, addObjectUnderConstruction(State, CNE, LCtx, RetVal));
950   const LocationContext *LCtx = Pred->getLocationContext();
961     symVal = *getObjectUnderConstruction(State, CNE, LCtx);
962     State = finishObjectConstruction(State, CNE, LCtx);
970       symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
972       symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
978       CEMgr.getCXXAllocatorCall(CNE, State, LCtx, getCFGElementRef());
1028         SVal V = State->getSVal(Init, LCtx);
1051     SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
1057   State = State->BindExpr(CNE, LCtx, Result);
1068       evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
1104   const LocationContext *LCtx = Pred->getLocationContext();
1105   SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
1108   state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx);
1119   const LocationContext *LCtx = Pred->getLocationContext();
1123                                                     LCtx);
1127   Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));