Searched refs:runCheckersForPreObjCMessage (Results 1 – 2 of 2) sorted by relevance
244 getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred, in VisitObjCMessage()
276 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage() function