Lines Matching defs:Pred
23 ExplodedNode *Pred,
25 ProgramStateRef state = Pred->getState();
26 const LocationContext *LCtx = Pred->getLocationContext();
31 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx);
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
40 ExplodedNode *Pred,
42 getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this);
46 ExplodedNode *Pred,
75 ProgramStateRef state = Pred->getState();
81 elementV = state->getLValue(elemD, Pred->getLocationContext());
84 elementV = state->getSVal(elem, Pred->getLocationContext());
88 evalLocation(dstLocation, S, elem, Pred, state, elementV, nullptr, false);
91 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
95 Pred = *NI;
96 ProgramStateRef state = Pred->getState();
97 const LocationContext *LCtx = Pred->getLocationContext();
126 Bldr.generateNode(S, Pred, hasElems);
127 Bldr.generateNode(S, Pred, noElems);
136 ExplodedNode *Pred,
140 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());
144 getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred,
156 ExplodedNode *Pred = *DI;
157 ProgramStateRef State = Pred->getState();
183 Bldr.generateSink(ME, Pred, State);
189 Pred = Bldr.generateNode(ME, Pred, notNilState);
190 assert(Pred && "Should have cached out already!");
199 Bldr.generateSink(ME, Pred, Pred->getState());
204 defaultEvalCall(Bldr, Pred, *UpdatedMsg);