Searched refs:getWorkList (Results 1 – 3 of 3) sorted by relevance
353 Engine.getWorkList()->enqueue(*PSI, calleeCtx->getCallSiteBlock(), in processCallExit()442 Engine.getWorkList()->enqueue(N); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
151 WorkList *getWorkList() const { return WList.get(); } in getWorkList() function
324 bool hasEmptyWorkList() const { return !Engine.getWorkList()->hasWork(); } in hasEmptyWorkList()