StaticAnalyzer/Core/ExprEngineCXX.cpp

32   const LocationContext *LCtx = Pred->getLocationContext();
34   state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
68   const LocationContext *LCtx = Pred->getLocationContext();
85   PostStmt PS(CallExpr, LCtx);
90       State = State->BindExpr(CallExpr, LCtx, ThisVal);
92       State = bindReturnValue(Call, LCtx, State);
113     const Expr *E, ProgramStateRef State, const LocationContext *LCtx,
128       SVal LValue = State->getLValue(Var, LCtx);
133           addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, LValue);
141       const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
143       SVB.getCXXThis(CurCtor, LCtx->getStackFrame());
159       State = addObjectUnderConstruction(State, Init, LCtx, FieldVal);
166         SVal V = *getObjectUnderConstruction(State, NE, LCtx);
189       const StackFrameContext *SFC = LCtx->getStackFrame();
251           CE, State, LCtx, TCC->getConstructionContextAfterElision(), CallOpts);
258         State = addObjectUnderConstruction(State, CE, LCtx, V);
262           State = elideDestructor(State, BTE, LCtx);
267           State = addObjectUnderConstruction(State, MTE, LCtx, V);
303         V = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
306         State = addObjectUnderConstruction(State, BTE, LCtx, V);
309         State = addObjectUnderConstruction(State, MTE, LCtx, V);
354         CallEventRef<> Caller = CEMgr.getSimpleCall(CE, State, LCtx);
359         State = addObjectUnderConstruction(State, {CE, Idx}, LCtx, V);
364             CEMgr.getCXXConstructorCall(CCE, /*Target=*/nullptr, State, LCtx);
369         State = addObjectUnderConstruction(State, {CCE, Idx}, LCtx, V);
371         CallEventRef<> Caller = CEMgr.getObjCMethodCall(ME, State, LCtx);
376         State = addObjectUnderConstruction(State, {ME, Idx}, LCtx, V);
382         State = addObjectUnderConstruction(State, BTE, LCtx, V);
392       State, loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)));
398   const LocationContext *LCtx = Pred->getLocationContext();
404           getObjectUnderConstruction(State, CE, LCtx)) {
410     State = finishObjectConstruction(State, CE, LCtx);
412       State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType()));
429         prepareForObjectConstruction(CE, State, LCtx, CC, CallOpts);
436         LCtx->getStackFrame()->getCallSite());
458     if (dyn_cast_or_null<InitListExpr>(LCtx->getParentMap().getParent(CE))) {
460       Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(CE, LCtx));
466     const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
468                                               LCtx->getStackFrame());
499     CEMgr.getCXXConstructorCall(CE, Target.getAsRegion(), State, LCtx);
525         State = State->bindDefaultZero(Target, LCtx);
561   const AnalysisDeclContext *ADC = LCtx->getAnalysisDeclContext();
609   const LocationContext *LCtx = Pred->getLocationContext();
622     PostImplicitCall PP(/*Decl=*/nullptr, S->getEndLoc(), LCtx, &T);
648       CEMgr.getCXXDestructorCall(DtorDecl, S, Dest, IsBaseDtor, State, LCtx);
672   const LocationContext *LCtx = Pred->getLocationContext();
678     CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
707     SVal RetVal = State->getSVal(CNE, LCtx);
724         CNE, I, addObjectUnderConstruction(State, CNE, LCtx, RetVal));
732         CNE, *getObjectUnderConstruction(I->getState(), CNE, LCtx), Dst, I,
745   const LocationContext *LCtx = Pred->getLocationContext();
756     symVal = *getObjectUnderConstruction(State, CNE, LCtx);
757     State = finishObjectConstruction(State, CNE, LCtx);
765       symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
767       symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
773     CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
824     SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
830   State = State->BindExpr(CNE, LCtx, Result);
841       evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
863   const LocationContext *LCtx = Pred->getLocationContext();
864   SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
867   state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx);
878   const LocationContext *LCtx = Pred->getLocationContext();
882                                                     LCtx);
886   Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));