reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
162 WList->hasWork() || 171 WorkList *getWorkList() const { return WList.get(); } 221 return Eng.WList->getBlockCounter().getNumVisited(tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
104 WList->setBlockCounter(BCounterFactory.GetEmptyCounter()); 129 while (WList->hasWork()) { 140 const WorkListUnit& WU = WList->dequeue(); 143 WList->setBlockCounter(WU.getBlockCounter()); 151 return WList->hasWork(); 282 BlockCounter Counter = WList->getBlockCounter(); 285 WList->setBlockCounter(Counter); 510 if (IsNew) WList->enqueue(Node); 522 WList->enqueue(N, Block, Idx); 530 WList->enqueue(N, Block, Idx+1); 535 WList->enqueue(N, Block, Idx); 540 WList->enqueue(N, Block, Idx+1); 551 WList->enqueue(N, Block, Idx+1); 560 WList->enqueue(Succ, Block, Idx+1); 579 WList->enqueue(I); 594 WList->enqueue(I); 661 Eng.WList->enqueue(Succ); 677 Eng.WList->enqueue(Succ); 703 Eng.WList->enqueue(Succ);