Lines Matching refs:Pred

170                     NodeBuilder &Bldr, ExplodedNode *Pred) {  in runChecker()
175 Pred->getLocationContext(), checkFn.Checker); in runChecker()
176 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
217 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
231 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
233 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()
287 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
289 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
291 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()
334 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
339 Pred->getLocationContext(), in runChecker()
341 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
382 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
384 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
426 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
428 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
438 ExplodedNode *Pred, in runCheckersForBeginFunction() argument
441 Src.insert(Pred); in runCheckersForBeginFunction()
451 ExplodedNode *Pred, in runCheckersForEndFunction() argument
457 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
460 FunctionExitPoint(RS, Pred->getLocationContext(), checkFn.Checker); in runCheckersForEndFunction()
461 CheckerContext C(Bldr, Eng, Pred, L); in runCheckersForEndFunction()
483 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
484 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(), in runChecker()
486 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
496 ExplodedNode *Pred, in runCheckersForBranchCondition() argument
499 Src.insert(Pred); in runCheckersForBranchCondition()
523 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
525 PostAllocatorCall(Call.getOriginExpr(), Pred->getLocationContext()); in runChecker()
526 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
527 checkFn(cast<CXXAllocatorCall>(*Call.cloneWithState(Pred->getState())), in runChecker()
536 ExplodedNode *Pred, in runCheckersForNewAllocator() argument
540 Src.insert(Pred); in runCheckersForNewAllocator()
572 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
574 Pred->getLocationContext(), checkFn.Checker); in runChecker()
575 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
658 for (auto *const Pred : Src) { in runCheckersForEvalCall() local
662 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()
670 Pred->getLocationContext(), EvalCallChecker.Checker); in runCheckersForEvalCall()
675 CheckerContext C(B, Eng, Pred, L); in runCheckersForEvalCall()
707 NodeBuilder B(Pred, Dst, Eng.getBuilderContext()); in runCheckersForEvalCall()
708 Eng.defaultEvalCall(B, Pred, Call, CallOpts); in runCheckersForEvalCall()