Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp

Lines Matching refs: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());
177       ProgramStateRef State = Pred->getState();
184         StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
185         bool HasTag = Pred->getLocation().getTag();
186         Pred = Bldr.generateNode(ME, Pred, nilState, nullptr,
188         assert((Pred || HasTag) && "Should have cached out already!");
190         if (!Pred)
192         getCheckerManager().runCheckersForObjCMessageNil(Dst, Pred,
198       StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx);
202         bool HasTag = Pred->getLocation().getTag();
203         Pred = Bldr.generateNode(ME, Pred, notNilState);
204         assert((Pred || HasTag) && "Should have cached out already!");
206         if (!Pred)
214   getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred,
226     ExplodedNode *Pred = *DI;
227     ProgramStateRef State = Pred->getState();
236           Bldr.generateSink(ME, Pred, State);
246         Bldr.generateSink(ME, Pred, Pred->getState());
251     defaultEvalCall(Bldr, Pred, *UpdatedMsg);