22                                           ExplodedNode *Pred,  in VisitLvalObjCIvarRefExpr()  argument
24   ProgramStateRef state = Pred->getState();  in VisitLvalObjCIvarRefExpr()
25   const LocationContext *LCtx = Pred->getLocationContext();  in VisitLvalObjCIvarRefExpr()
30   StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx);  in VisitLvalObjCIvarRefExpr()
31   Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));  in VisitLvalObjCIvarRefExpr()
39                                              ExplodedNode *Pred,  in VisitObjCAtSynchronizedStmt()  argument
41   getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this);  in VisitObjCAtSynchronizedStmt()
52   for (ExplodedNode *Pred : dstLocation) {  in populateObjCForDestinationSet()
53     ProgramStateRef state = Pred->getState();  in populateObjCForDestinationSet()
54     const LocationContext *LCtx = Pred->getLocationContext();  in populateObjCForDestinationSet()
79     Bldr.generateNode(S, Pred, nextState);  in populateObjCForDestinationSet()
84                                             ExplodedNode *Pred,  in VisitObjCForCollectionStmt()  argument
113   ProgramStateRef state = Pred->getState();  in VisitObjCForCollectionStmt()
114   SVal collectionV = state->getSVal(collection, Pred->getLocationContext());  in VisitObjCForCollectionStmt()
120     elementV = state->getLValue(elemD, Pred->getLocationContext());  in VisitObjCForCollectionStmt()
122     elementV = state->getSVal(elem, Pred->getLocationContext());  in VisitObjCForCollectionStmt()
128   evalLocation(dstLocation, S, elem, Pred, state, elementV, false);  in VisitObjCForCollectionStmt()
131   StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);  in VisitObjCForCollectionStmt()
148                                   ExplodedNode *Pred,  in VisitObjCMessage()  argument
152     CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());  in VisitObjCMessage()
189       ProgramStateRef State = Pred->getState();  in VisitObjCMessage()
197         StmtNodeBuilder Bldr(Pred, dstNil, *currBldrCtx);  in VisitObjCMessage()
198         bool HasTag = Pred->getLocation().getTag();  in VisitObjCMessage()
199         Pred = Bldr.generateNode(ME, Pred, nilState, nullptr,  in VisitObjCMessage()
201         assert((Pred || HasTag) && "Should have cached out already!");  in VisitObjCMessage()
203         if (!Pred)  in VisitObjCMessage()
207         getCheckerManager().runCheckersForObjCMessageNil(dstPostCheckers, Pred,  in VisitObjCMessage()
215       StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx);  in VisitObjCMessage()
219         bool HasTag = Pred->getLocation().getTag();  in VisitObjCMessage()
220         Pred = Bldr.generateNode(ME, Pred, notNilState);  in VisitObjCMessage()
221         assert((Pred || HasTag) && "Should have cached out already!");  in VisitObjCMessage()
223         if (!Pred)  in VisitObjCMessage()
231   getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred,  in VisitObjCMessage()
243     ExplodedNode *Pred = *DI;  in VisitObjCMessage()  local
244     ProgramStateRef State = Pred->getState();  in VisitObjCMessage()
253           Bldr.generateSink(ME, Pred, State);  in VisitObjCMessage()
263         Bldr.generateSink(ME, Pred, Pred->getState());  in VisitObjCMessage()
268     defaultEvalCall(Bldr, Pred, *UpdatedMsg);  in VisitObjCMessage()