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