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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 62 /// WList - A set of queued nodes that need to be processed by the
63 /// worklist algorithm. It is up to the implementation of WList to decide
65 WorkList* WList;
103 WList(WorkList::makeBFS()),
108 /// The CoreEngine object assumes ownership of 'wlist'.
109 CoreEngine(WorkList* wlist, SubEngine& subengine)
110 : SubEng(subengine), G(new ExplodedGraph()), WList(wlist),
114 delete WList;
136 WList->hasWork() ||
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp 186 WList->setBlockCounter(BCounterFactory.GetEmptyCounter());
198 while (WList->hasWork()) {
205 const WorkListUnit& WU = WList->dequeue();
208 WList->setBlockCounter(WU.getBlockCounter());
245 return WList->hasWork();
304 WList->enqueue(*I);
319 BlockCounter Counter = WList->getBlockCounter();
323 WList->setBlockCounter(Counter);
462 if (IsNew) WList->enqueue(Node);
509 Eng.WList->enqueue(N, &B, Idx)
    [all...]

Completed in 17 milliseconds