Home
last modified time | relevance | path

Searched refs:WList (Results 1 – 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DVirtualCallChecker.cpp39 DFSWorkList WList; member in __anon25a431a80111::WalkAST
66 bool hasWork() const { return !WList.empty(); } in hasWork()
78 WList.push_back(WLUnit); in Enqueue()
83 assert(!WList.empty()); in Dequeue()
84 return WList.back(); in Dequeue()
108 WList.pop_back(); in Execute()
182 for (SmallVectorImpl<const CallExpr *>::iterator I = WList.end(), in ReportVirtualCall()
183 E = WList.begin(); I != E; --I) { in ReportVirtualCall()
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp192 WList->setBlockCounter(BCounterFactory.GetEmptyCounter()); in ExecuteWorkList()
204 while (WList->hasWork()) { in ExecuteWorkList()
215 const WorkListUnit& WU = WList->dequeue(); in ExecuteWorkList()
218 WList->setBlockCounter(WU.getBlockCounter()); in ExecuteWorkList()
226 return WList->hasWork(); in ExecuteWorkList()
329 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()
332 WList->setBlockCounter(Counter); in HandleBlockEntrance()
524 if (IsNew) WList->enqueue(Node); in generateNode()
536 WList->enqueue(N, Block, Idx); in enqueueStmtNode()
543 WList->enqueue(N, Block, Idx+1); in enqueueStmtNode()
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h68 std::unique_ptr<WorkList> WList; variable
114 : SubEng(subengine), WList(WorkList::makeDFS()), in CoreEngine()
139 WList->hasWork() || in hasWorkRemaining()
148 WorkList *getWorkList() const { return WList.get(); } in getWorkList()
192 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()