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 __anon6084fa110111::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()
217 while (WList->hasWork()) { in ExecuteWorkList()
228 const WorkListUnit& WU = WList->dequeue(); in ExecuteWorkList()
231 WList->setBlockCounter(WU.getBlockCounter()); in ExecuteWorkList()
239 return WList->hasWork(); in ExecuteWorkList()
341 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()
344 WList->setBlockCounter(Counter); in HandleBlockEntrance()
541 if (IsNew) WList->enqueue(Node); in generateNode()
553 WList->enqueue(N, Block, Idx); in enqueueStmtNode()
560 WList->enqueue(N, Block, Idx+1); in enqueueStmtNode()
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h68 std::unique_ptr<WorkList> WList; variable
117 : SubEng(subengine), WList(WorkList::makeDFS()), in CoreEngine()
142 WList->hasWork() || in hasWorkRemaining()
151 WorkList *getWorkList() const { return WList.get(); } in getWorkList()
195 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()