Searched refs:getWorkList (Results 1 – 4 of 4) sorted by relevance
65 Engine.getWorkList()->enqueue(Node); in processCallEnter()350 Engine.getWorkList()->enqueue(*PSI, calleeCtx->getCallSiteBlock(), in processCallExit()454 Engine.getWorkList()->enqueue(N); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
304 bool hasEmptyWorkList() const { return !Engine.getWorkList()->hasWork(); } in hasEmptyWorkList()
153 WorkList *getWorkList() const { return WList.get(); } in getWorkList() function
603 if (CE.getWorkList()->visitItemsInWorkList(visitWL)) in pathWasCompletelyAnalyzed()