Lines Matching refs:State
88 ProgramStateRef State = (*I)->getState();
90 State = State->BindExpr(CallExpr, LCtx, ThisVal);
92 State = bindReturnValue(Call, LCtx, State);
93 Bldr.generateNode(PS, State, *I);
98 SVal ExprEngine::makeZeroElementRegion(ProgramStateRef State, SVal LValue,
100 SValBuilder &SVB = State->getStateManager().getSValBuilder();
105 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
113 const Expr *E, ProgramStateRef State, const LocationContext *LCtx,
128 SVal LValue = State->getLValue(Var, LCtx);
131 makeZeroElementRegion(State, LValue, Ty, CallOpts.IsArrayCtorOrDtor);
132 State =
133 addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, LValue);
134 return std::make_pair(State, LValue);
144 SVal ThisVal = State->getSVal(ThisPtr);
150 FieldVal = State->getLValue(Init->getIndirectMember(), ThisVal);
153 FieldVal = State->getLValue(Init->getMember(), ThisVal);
157 FieldVal = makeZeroElementRegion(State, FieldVal, Ty,
159 State = addObjectUnderConstruction(State, Init, LCtx, FieldVal);
160 return std::make_pair(State, FieldVal);
166 SVal V = *getObjectUnderConstruction(State, NE, LCtx);
174 State, loc::MemRegionVal(getStoreManager().GetElementZeroRegion(
177 return std::make_pair(State, V);
206 cast<Expr>(SFC->getCallSite()), State, CallerLCtx,
228 return std::make_pair(State, V);
247 ProgramStateRef PreElideState = State;
250 std::tie(State, V) = prepareForObjectConstruction(
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);
269 return std::make_pair(State, V);
273 State = PreElideState;
306 State = addObjectUnderConstruction(State, BTE, LCtx, V);
309 State = addObjectUnderConstruction(State, MTE, LCtx, V);
312 return std::make_pair(State, 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);
384 return std::make_pair(State, V);
392 State, loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)));
399 ProgramStateRef State = Pred->getState();
404 getObjectUnderConstruction(State, CE, LCtx)) {
410 State = finishObjectConstruction(State, CE, LCtx);
412 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType()));
413 Bldr.generateNode(CE, Pred, State);
428 std::tie(State, Target) =
429 prepareForObjectConstruction(CE, State, LCtx, CC, CallOpts);
469 SVal ThisVal = State->getSVal(ThisPtr);
485 if (State != Pred->getState()) {
490 BldrPrepare.generateNode(CE, Pred, State, &T, ProgramPoint::PreStmtKind);
499 CEMgr.getCXXConstructorCall(CE, Target.getAsRegion(), State, LCtx);
511 ProgramStateRef State = (*I)->getState();
525 State = State->bindDefaultZero(Target, LCtx);
528 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr,
610 ProgramStateRef State = Pred->getState();
648 CEMgr.getCXXDestructorCall(DtorDecl, S, Dest, IsBaseDtor, State, LCtx);
671 ProgramStateRef State = Pred->getState();
678 CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
706 ProgramStateRef State = I->getState();
707 SVal RetVal = State->getSVal(CNE, LCtx);
720 State = State->assume(RetVal.castAs<DefinedOrUnknownSVal>(), true);
724 CNE, I, addObjectUnderConstruction(State, CNE, LCtx, RetVal));
752 ProgramStateRef State = Pred->getState();
756 symVal = *getObjectUnderConstruction(State, CNE, LCtx);
757 State = finishObjectConstruction(State, CNE, LCtx);
773 CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
780 State = Call->invalidateRegions(blockCount);
781 if (!State)
796 State = State->assume(*dSymVal, true);
813 State = State->BindExpr(CNE, Pred->getLocationContext(), Result);
814 Bldr.generateNode(CNE, Pred, State);
824 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
830 State = State->BindExpr(CNE, LCtx, Result);
831 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);
841 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
898 ProgramStateRef State = Pred->getState();
907 SVal FieldLoc = State->getLValue(FieldForCapture, V);
913 InitVal = State->getSVal(InitExpr, LocCtxt);
919 InitVal = State->getSVal(SizeExpr, LocCtxt);
922 State = State->bindLoc(FieldLoc, InitVal, LocCtxt);
928 SVal LambdaRVal = State->getSVal(R);
934 State->BindExpr(LE, LocCtxt, LambdaRVal),