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