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