HomeSort by relevance Sort by last modified time
    Searched refs:WList (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp 176 WList->setBlockCounter(BCounterFactory.GetEmptyCounter());
188 while (WList->hasWork()) {
195 const WorkListUnit& WU = WList->dequeue();
198 WList->setBlockCounter(WU.getBlockCounter());
235 return WList->hasWork();
294 WList->enqueue(*I);
309 BlockCounter Counter = WList->getBlockCounter();
313 WList->setBlockCounter(Counter);
457 if (IsNew) WList->enqueue(Node);
463 WList->enqueue(*I)
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 67 /// WList - A set of queued nodes that need to be processed by the
68 /// worklist algorithm. It is up to the implementation of WList to decide
70 WorkList* WList;
109 WList(WorkList::makeBFS()),
114 /// The CoreEngine object assumes ownership of 'wlist'.
115 CoreEngine(WorkList* wlist, SubEngine& subengine)
116 : SubEng(subengine), G(new ExplodedGraph()), WList(wlist),
120 delete WList;
143 WList->hasWork() ||
    [all...]

Completed in 37 milliseconds