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