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