Lines Matching refs:LCtx
32 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject() local
34 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME); in CreateCXXTemporaryObject()
68 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy() local
85 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
90 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
92 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy()
115 const Expr *E, ProgramStateRef State, const LocationContext *LCtx, in computeObjectUnderConstruction() argument
130 return makeElementRegion(State, State->getLValue(Var, LCtx), Ty, in computeObjectUnderConstruction()
137 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); in computeObjectUnderConstruction()
138 Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame()); in computeObjectUnderConstruction()
170 SVal V = *getObjectUnderConstruction(State, NE, LCtx); in computeObjectUnderConstruction()
196 const StackFrameContext *SFC = LCtx->getStackFrame(); in computeObjectUnderConstruction()
253 TCC->getConstructorAfterElision(), State, LCtx, in computeObjectUnderConstruction()
291 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
299 MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx)); in computeObjectUnderConstruction()
302 if (getIndexOfElementToConstruct(State, CE, LCtx)) { in computeObjectUnderConstruction()
348 CallEventRef<> Caller = CEMgr.getSimpleCall(CE, State, LCtx); in computeObjectUnderConstruction()
357 CEMgr.getCXXConstructorCall(CCE, /*Target=*/nullptr, State, LCtx); in computeObjectUnderConstruction()
363 CallEventRef<> Caller = CEMgr.getObjCMethodCall(ME, State, LCtx); in computeObjectUnderConstruction()
376 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
380 SVal V, const Expr *E, ProgramStateRef State, const LocationContext *LCtx, in updateObjectsUnderConstruction() argument
395 return addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, V); in updateObjectsUnderConstruction()
405 return addObjectUnderConstruction(State, Init, LCtx, V); in updateObjectsUnderConstruction()
412 const StackFrameContext *SFC = LCtx->getStackFrame(); in updateObjectsUnderConstruction()
438 V, TCC->getConstructorAfterElision(), State, LCtx, in updateObjectsUnderConstruction()
443 State, TCC->getConstructorAfterElision(), LCtx, V); in updateObjectsUnderConstruction()
447 State = elideDestructor(State, BTE, LCtx); in updateObjectsUnderConstruction()
452 State = addObjectUnderConstruction(State, MTE, LCtx, V); in updateObjectsUnderConstruction()
463 State = addObjectUnderConstruction(State, BTE, LCtx, V); in updateObjectsUnderConstruction()
466 State = addObjectUnderConstruction(State, MTE, LCtx, V); in updateObjectsUnderConstruction()
479 State, {LCC->getLambdaExpr(), LCC->getIndex()}, LCtx, V); in updateObjectsUnderConstruction()
484 State = addObjectUnderConstruction(State, BTE, LCtx, V); in updateObjectsUnderConstruction()
487 State, {ACC->getCallLikeExpr(), ACC->getIndex()}, LCtx, V); in updateObjectsUnderConstruction()
496 const LocationContext *LCtx, SVal Idx) { in bindRequiredArrayElementToEnvironment() argument
535 Base = State->getSVal(ME, LCtx); in bindRequiredArrayElementToEnvironment()
537 Base = State->getLValue(cast<VarDecl>(DRE->getDecl()), LCtx); in bindRequiredArrayElementToEnvironment()
543 return State->BindExpr(CE->getArg(0), LCtx, NthElem); in bindRequiredArrayElementToEnvironment()
553 const LocationContext *LCtx = Pred->getLocationContext(); in handleConstructor() local
560 getObjectUnderConstruction(State, CE, LCtx)) { in handleConstructor()
566 State = finishObjectConstruction(State, CE, LCtx); in handleConstructor()
568 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
592 Idx = getIndexOfElementToConstruct(State, CE, LCtx).value_or(0u); in handleConstructor()
593 State = setIndexOfElementToConstruct(State, CE, LCtx, Idx + 1); in handleConstructor()
598 if (!getPendingInitLoop(State, CE, LCtx)) in handleConstructor()
599 State = setPendingInitLoop(State, CE, LCtx, in handleConstructor()
603 State, AILE, LCtx, svalBuilder.makeArrayIndex(Idx)); in handleConstructor()
608 handleConstructionContext(CE, State, LCtx, CC, CallOpts, Idx); in handleConstructor()
615 LCtx->getStackFrame()->getCallSite()); in handleConstructor()
637 if (isa_and_nonnull<InitListExpr>(LCtx->getParentMap().getParent(E))) { in handleConstructor()
639 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
645 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); in handleConstructor()
647 LCtx->getStackFrame()); in handleConstructor()
679 CIE, TargetRegion, State, LCtx) in handleConstructor()
681 CE, TargetRegion, State, LCtx); in handleConstructor()
707 State = State->bindDefaultZero(Target, LCtx); in handleConstructor()
748 const AnalysisDeclContext *ADC = LCtx->getAnalysisDeclContext(); in handleConstructor()
809 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor() local
822 PostImplicitCall PP(/*Decl=*/nullptr, S->getEndLoc(), LCtx, &T); in VisitCXXDestructor()
848 CEMgr.getCXXDestructorCall(DtorDecl, S, Dest, IsBaseDtor, State, LCtx); in VisitCXXDestructor()
872 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewAllocatorCall() local
878 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); in VisitCXXNewAllocatorCall()
907 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
924 CNE, I, addObjectUnderConstruction(State, CNE, LCtx, RetVal)); in VisitCXXNewAllocatorCall()
943 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr() local
954 symVal = *getObjectUnderConstruction(State, CNE, LCtx); in VisitCXXNewExpr()
955 State = finishObjectConstruction(State, CNE, LCtx); in VisitCXXNewExpr()
963 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
965 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
971 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); in VisitCXXNewExpr()
1021 SVal V = State->getSVal(Init, LCtx); in VisitCXXNewExpr()
1044 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
1050 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
1061 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
1097 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt() local
1098 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), in VisitCXXCatchStmt()
1101 state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx); in VisitCXXCatchStmt()
1112 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXThisExpr() local
1116 LCtx); in VisitCXXThisExpr()
1120 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()