27                                           ExplodedNode *Pred,  in CreateCXXTemporaryObject()  argument
29   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);  in CreateCXXTemporaryObject()
31   ProgramStateRef state = Pred->getState();  in CreateCXXTemporaryObject()
32   const LocationContext *LCtx = Pred->getLocationContext();  in CreateCXXTemporaryObject()
35   Bldr.generateNode(ME, Pred, state);  in CreateCXXTemporaryObject()
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,  in performTrivialCopy()  argument
68   const LocationContext *LCtx = Pred->getLocationContext();  in performTrivialCopy()
71   Bldr.takeNodes(Pred);  in performTrivialCopy()
78     V = Pred->getState()->getSVal(*L);  in performTrivialCopy()
83   evalBind(Dst, CallExpr, Pred, ThisVal, V, true);  in performTrivialCopy()
547                                    ExplodedNode *Pred,  in handleConstructor()  argument
553   const LocationContext *LCtx = Pred->getLocationContext();  in handleConstructor()
554   ProgramStateRef State = Pred->getState();  in handleConstructor()
565       StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx);  in handleConstructor()
569       Bldr.generateNode(CE, Pred, State);  in handleConstructor()
663   if (State != Pred->getState()) {  in handleConstructor()
667     StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx);  in handleConstructor()
668     BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind);  in handleConstructor()
672     Pred = *BldrPrepare.begin();  in handleConstructor()
684   getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, E, *this);  in handleConstructor()
790                                        ExplodedNode *Pred,  in VisitCXXConstructExpr()  argument
792   handleConstructor(CE, Pred, Dst);  in VisitCXXConstructExpr()
796     const CXXInheritedCtorInitExpr *CE, ExplodedNode *Pred,  in VisitCXXInheritedCtorInitExpr()  argument
798   handleConstructor(CE, Pred, Dst);  in VisitCXXInheritedCtorInitExpr()
805                                     ExplodedNode *Pred,  in VisitCXXDestructor()  argument
809   const LocationContext *LCtx = Pred->getLocationContext();  in VisitCXXDestructor()
810   ProgramStateRef State = Pred->getState();  in VisitCXXDestructor()
823     NodeBuilder Bldr(Pred, Dst, *currBldrCtx);  in VisitCXXDestructor()
824     Bldr.generateNode(PP, Pred->getState(), Pred);  in VisitCXXDestructor()
836       Dest = MRMgr.getCXXTempObjectRegion(E, Pred->getLocationContext());  in VisitCXXDestructor()
839       NodeBuilder Bldr(Pred, Dst, *currBldrCtx);  in VisitCXXDestructor()
840       Bldr.generateSink(Pred->getLocation().withTag(&T),  in VisitCXXDestructor()
841                         Pred->getState(), Pred);  in VisitCXXDestructor()
855   getCheckerManager().runCheckersForPreCall(DstPreCall, Pred,  in VisitCXXDestructor()
869                                           ExplodedNode *Pred,  in VisitCXXNewAllocatorCall()  argument
871   ProgramStateRef State = Pred->getState();  in VisitCXXNewAllocatorCall()
872   const LocationContext *LCtx = Pred->getLocationContext();  in VisitCXXNewAllocatorCall()
881   getCheckerManager().runCheckersForPreCall(DstPreCall, Pred,  in VisitCXXNewAllocatorCall()
935 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,  in VisitCXXNewExpr()  argument
943   const LocationContext *LCtx = Pred->getLocationContext();  in VisitCXXNewExpr()
950   ProgramStateRef State = Pred->getState();  in VisitCXXNewExpr()
995   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);  in VisitCXXNewExpr()
1018         Bldr.takeNodes(Pred);  in VisitCXXNewExpr()
1019         Pred = Bldr.generateNode(CNE, Pred, State);  in VisitCXXNewExpr()
1023         evalBind(evaluated, CNE, Pred, Result, V, true);  in VisitCXXNewExpr()
1025         Bldr.takeNodes(Pred);  in VisitCXXNewExpr()
1028         Pred = *evaluated.begin();  in VisitCXXNewExpr()
1029         State = Pred->getState();  in VisitCXXNewExpr()
1033     State = State->BindExpr(CNE, Pred->getLocationContext(), Result);  in VisitCXXNewExpr()
1034     Bldr.generateNode(CNE, Pred, State);  in VisitCXXNewExpr()
1051   ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);  in VisitCXXNewExpr()
1068                                     ExplodedNode *Pred, ExplodedNodeSet &Dst) {  in VisitCXXDeleteExpr()  argument
1072       CDE, Pred->getState(), Pred->getLocationContext());  in VisitCXXDeleteExpr()
1075   getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, *Call, *this);  in VisitCXXDeleteExpr()
1089 void ExprEngine::VisitCXXCatchStmt(const CXXCatchStmt *CS, ExplodedNode *Pred,  in VisitCXXCatchStmt()  argument
1093     Dst.Add(Pred);  in VisitCXXCatchStmt()
1097   const LocationContext *LCtx = Pred->getLocationContext();  in VisitCXXCatchStmt()
1100   ProgramStateRef state = Pred->getState();  in VisitCXXCatchStmt()
1103   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);  in VisitCXXCatchStmt()
1104   Bldr.generateNode(CS, Pred, state);  in VisitCXXCatchStmt()
1107 void ExprEngine::VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred,  in VisitCXXThisExpr()  argument
1109   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);  in VisitCXXThisExpr()
1112   const LocationContext *LCtx = Pred->getLocationContext();  in VisitCXXThisExpr()
1118   ProgramStateRef state = Pred->getState();  in VisitCXXThisExpr()
1120   Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));  in VisitCXXThisExpr()
1123 void ExprEngine::VisitLambdaExpr(const LambdaExpr *LE, ExplodedNode *Pred,  in VisitLambdaExpr()  argument
1125   const LocationContext *LocCtxt = Pred->getLocationContext();  in VisitLambdaExpr()
1132   ProgramStateRef State = Pred->getState();  in VisitLambdaExpr()
1186   StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);  in VisitLambdaExpr()
1188   Bldr.generateNode(LE, Pred,  in VisitLambdaExpr()