Lines Matching refs:Pred
26 ExplodedNode *Pred,
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
30 ProgramStateRef state = Pred->getState();
31 const LocationContext *LCtx = Pred->getLocationContext();
34 Bldr.generateNode(ME, Pred, state);
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
56 const LocationContext *LCtx = Pred->getLocationContext();
59 Bldr.takeNodes(Pred);
66 V = Pred->getState()->getSVal(*L);
71 evalBind(Dst, CallExpr, Pred, ThisVal, V, true);
108 ExplodedNode *Pred) {
109 const LocationContext *LCtx = Pred->getLocationContext();
110 ProgramStateRef State = Pred->getState();
234 ExplodedNode *Pred,
236 const LocationContext *LCtx = Pred->getLocationContext();
237 ProgramStateRef State = Pred->getState();
247 Target = getRegionForConstructedObject(CE, Pred);
260 destNodes.Add(Pred);
295 getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, CE, *this);
359 ExplodedNode *Pred,
361 const LocationContext *LCtx = Pred->getLocationContext();
362 ProgramStateRef State = Pred->getState();
386 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred,
401 ExplodedNode *Pred,
403 ProgramStateRef State = Pred->getState();
404 const LocationContext *LCtx = Pred->getLocationContext();
413 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred,
426 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
434 const LocationContext *LCtx = Pred->getLocationContext();
460 ProgramStateRef State = Pred->getState();
486 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
495 State = State->BindExpr(CNE, Pred->getLocationContext(),
497 Bldr.generateNode(CNE, Pred, State);
515 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);
532 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
533 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
534 ProgramStateRef state = Pred->getState();
535 Bldr.generateNode(CDE, Pred, state);
539 ExplodedNode *Pred,
543 Dst.Add(Pred);
547 const LocationContext *LCtx = Pred->getLocationContext();
550 ProgramStateRef state = Pred->getState();
553 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
554 Bldr.generateNode(CS, Pred, state);
557 void ExprEngine::VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred,
559 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
562 const LocationContext *LCtx = Pred->getLocationContext();
568 ProgramStateRef state = Pred->getState();
570 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));
573 void ExprEngine::VisitLambdaExpr(const LambdaExpr *LE, ExplodedNode *Pred,
575 const LocationContext *LocCtxt = Pred->getLocationContext();
582 ProgramStateRef State = Pred->getState();
615 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
617 Bldr.generateNode(LE, Pred,