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