Searched refs:WList (Results 1 – 4 of 4) sorted by relevance
82 WList->setBlockCounter(C); in setBlockCounter()140 while (WList->hasWork()) { in ExecuteWorkList()173 WList = std::move(CTUWList); in ExecuteWorkList()179 return WList->hasWork(); in ExecuteWorkList()539 if (IsNew) WList->enqueue(Node); in generateNode()551 WList->enqueue(N, Block, Idx); in enqueueStmtNode()608 WList->enqueue(I); in enqueue()623 WList->enqueue(I); in enqueueEndOfFunction()690 Eng.WList->enqueue(Succ); in generateNode()706 Eng.WList->enqueue(Succ); in generateCaseStmtNode()[all …]
530 void ExprEngine::inlineCall(WorkList *WList, const CallEvent &Call, in inlineCall() argument567 WList->enqueue(N); in inlineCall()
81 std::unique_ptr<WorkList> WList; variable167 WList->hasWork() || in hasWorkRemaining()176 WorkList *getWorkList() const { return WList.get(); } in getWorkList()223 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
845 void inlineCall(WorkList *WList, const CallEvent &Call, const Decl *D,