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