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