reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
155 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); 155 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); 192 ProgramStateRef State = Pred->getState(); 200 StmtNodeBuilder Bldr(Pred, dstNil, *currBldrCtx); 201 bool HasTag = Pred->getLocation().getTag(); 202 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, 202 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, 204 assert((Pred || HasTag) && "Should have cached out already!"); 206 if (!Pred) 210 getCheckerManager().runCheckersForObjCMessageNil(dstPostCheckers, Pred, 218 StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx); 222 bool HasTag = Pred->getLocation().getTag(); 223 Pred = Bldr.generateNode(ME, Pred, notNilState); 223 Pred = Bldr.generateNode(ME, Pred, notNilState); 224 assert((Pred || HasTag) && "Should have cached out already!"); 226 if (!Pred) 234 getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred,