Searched refs:dispatchWorkItem (Results 1 – 2 of 2) sorted by relevance
223 dispatchWorkItem(Node, Node->getLocation(), WU); in ExecuteWorkList()229 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() function in CoreEngine259 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
132 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,