StaticAnalyzer/Core/ExprEngineCXX.cpp

76     ProgramStateRef State = (*I)->getState();
78       State = State->BindExpr(CallExpr, LCtx, ThisVal);
80       State = bindReturnValue(Call, LCtx, State);
81     Bldr.generateNode(PS, State, *I);
92 static SVal makeZeroElementRegion(ProgramStateRef State, SVal LValue,
100   SValBuilder &SVB = State->getStateManager().getSValBuilder();
105     LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
115   ProgramStateRef State = Pred->getState();
136               SVal LValue = State->getLValue(Var, LCtx);
138               LValue = makeZeroElementRegion(State, LValue, Ty);
153         SVal ThisVal = State->getSVal(ThisPtr);
159           FieldVal = State->getLValue(Init->getIndirectMember(), ThisVal);
162           FieldVal = State->getLValue(Init->getMember(), ThisVal);
166         FieldVal = makeZeroElementRegion(State, FieldVal, Ty);
207     SVal ThisVal = State->getSVal(ThisPtr);
225     CEMgr.getCXXConstructorCall(CE, Target, State, LCtx);
240         ProgramStateRef State = (*I)->getState();
253         State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal);
254         Bldr.generateNode(CE, *I, State, /*tag=*/0, ProgramPoint::PreStmtKind);
294   ProgramStateRef State = Pred->getState();
302   DestVal = makeZeroElementRegion(State, DestVal, ObjectType);
311     CEMgr.getCXXDestructorCall(DtorDecl, S, Dest, IsBaseDtor, State, LCtx);
366   ProgramStateRef State = Pred->getState();
369     CEMgr.getCXXAllocatorCall(CNE, State, LCtx);
374   State = Call->invalidateRegions(blockCount);
375   if (!State)
389         State = State->assume(symVal, true);
401     State = State->BindExpr(CNE, Pred->getLocationContext(),
403     Bldr.generateNode(CNE, Pred, State);
414     SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
420   State = State->BindExpr(CNE, LCtx, Result);
421   ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);
431       evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),