Searched refs:WList (Results 1 – 6 of 6) 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()540 if (IsNew) WList->enqueue(Node); in generateNode()552 WList->enqueue(N, Block, Idx); in enqueueStmtNode()609 WList->enqueue(I); in enqueue()624 WList->enqueue(I); in enqueueEndOfFunction()691 Eng.WList->enqueue(Succ); in generateNode()707 Eng.WList->enqueue(Succ); in generateCaseStmtNode()[all …]
478 void ExprEngine::inlineCall(WorkList *WList, const CallEvent &Call, in inlineCall() argument515 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()226 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
833 void inlineCall(WorkList *WList, const CallEvent &Call, const Decl *D,
381 auto &WList = BC.MIB->getOrCreateAnnotationAs<std::vector<WorklistItem>>( in scheduleChange() local383 WList.emplace_back(std::forward<T>(Item)...); in scheduleChange()
436 auto &WList = BC.MIB->getOrCreateAnnotationAs<std::vector<WorklistItem>>( in scheduleChange() local438 WList.push_back(Item); in scheduleChange()638 auto &WList = BC.MIB->getAnnotationAs<std::vector<WorklistItem>>( in performChanges() local642 for (WorklistItem &WI : WList) { in performChanges()