Lines Matching defs:Pred
2648 ExplodedNode *Pred, RetEffect RE, RefVal X,
2671 handleAutoreleaseCounts(ProgramStateRef state, ExplodedNode *Pred,
2678 ExplodedNode *Pred = nullptr) const;
2822 const ExplodedNode *Pred = C.getPredecessor();
2823 const LocationContext *LCtx = Pred->getLocationContext();
2824 ProgramStateRef State = Pred->getState();
3488 ExplodedNode *Pred = C.addTransition(state);
3495 if (!Pred)
3500 state = handleAutoreleaseCounts(state, Pred, &AutoreleaseTag, C, Sym, X);
3513 const Decl *CD = &Pred->getCodeDecl();
3527 checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);
3532 ExplodedNode *Pred,
3570 ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag);
3596 ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag);
3736 ExplodedNode *Pred,
3790 ExplodedNode *N = Ctx.generateSink(state, Pred, Tag);
3845 ExplodedNode *Pred) const {
3847 ExplodedNode *N = Ctx.addTransition(state, Pred);
3855 CFRefBug *BT = Pred ? getLeakWithinFunctionBug(LOpts, GCEnabled)
3871 ExplodedNode *Pred = Ctx.getPredecessor();
3874 const LocationContext *LCtx = Pred->getLocationContext();
3881 state = handleAutoreleaseCounts(state, Pred, /*Tag=*/nullptr, Ctx,
3900 processLeaks(state, Leaked, Ctx, Pred);
3918 ExplodedNode *Pred = C.getPredecessor();
3932 state = handleAutoreleaseCounts(state, Pred, Tag, C, Sym, *T);
3947 Pred = processLeaks(state, Leaked, C, Pred);
3950 if (!Pred)
3964 C.addTransition(state, Pred);