Lines Matching defs:Pred
153 NodeBuilder &Bldr, ExplodedNode *Pred) {
158 Pred->getLocationContext(), checkFn.Checker);
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
198 NodeBuilder &Bldr, ExplodedNode *Pred) {
213 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
215 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C);
265 NodeBuilder &Bldr, ExplodedNode *Pred) {
267 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
269 checkFn(*Call.cloneWithState(Pred->getState()), C);
309 NodeBuilder &Bldr, ExplodedNode *Pred) {
314 Pred->getLocationContext(),
316 CheckerContext C(Bldr, Eng, Pred, L);
354 NodeBuilder &Bldr, ExplodedNode *Pred) {
356 CheckerContext C(Bldr, Eng, Pred, L);
385 ExplodedNode *Pred,
389 // creates a sucsessor for Pred, we do not need to generate an
391 NodeBuilder Bldr(Pred, Dst, BC);
396 Pred->getLocationContext(),
398 CheckerContext C(Bldr, Eng, Pred, L);
418 NodeBuilder &Bldr, ExplodedNode *Pred) {
419 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(),
421 CheckerContext C(Bldr, Eng, Pred, L);
430 ExplodedNode *Pred,
433 Src.insert(Pred);
463 NodeBuilder &Bldr, ExplodedNode *Pred) {
465 Pred->getLocationContext(), checkFn.Checker);
466 CheckerContext C(Bldr, Eng, Pred, L);
558 ExplodedNode *Pred = *NI;
562 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
570 Pred->getLocationContext(), EI->Checker);
575 CheckerContext C(B, Eng, Pred, L);
591 NodeBuilder B(Pred, Dst, Eng.getBuilderContext());
592 Eng.defaultEvalCall(B, Pred, Call);