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 …]
532 void ExprEngine::inlineCall(WorkList *WList, const CallEvent &Call, in inlineCall() argument569 WList->enqueue(N); in inlineCall()
80 std::unique_ptr<WorkList> WList; variable166 WList->hasWork() || in hasWorkRemaining()175 WorkList *getWorkList() const { return WList.get(); } in getWorkList()232 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
861 void inlineCall(WorkList *WList, const CallEvent &Call, const Decl *D,