Searched refs:getWorkList (Results 1 – 3 of 3) 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()
317 bool hasEmptyWorkList() const { return !Engine.getWorkList()->hasWork(); } in hasEmptyWorkList()
148 WorkList *getWorkList() const { return WList.get(); } in getWorkList() function