Searched refs:WList (Results 1 – 5 of 5) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | VirtualCallChecker.cpp | 39 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/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 75 : ExprEng(exprengine), WList(generateWorkList(Opts)), in CoreEngine()
103 WList->setBlockCounter(BCounterFactory.GetEmptyCounter()); in ExecuteWorkList()
128 while (WList->hasWork()) { in ExecuteWorkList()
139 const WorkListUnit& WU = WList->dequeue(); in ExecuteWorkList()
142 WList->setBlockCounter(WU.getBlockCounter()); in ExecuteWorkList()
150 return WList->hasWork(); in ExecuteWorkList()
281 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()
284 WList->setBlockCounter(Counter); in HandleBlockEntrance()
509 if (IsNew) WList->enqueue(Node); in generateNode()
521 WList->enqueue(N, Block, Idx); in enqueueStmtNode()
[all …]
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 192 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/ |
| D | CoreEngine.h | 68 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()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 80 std::unique_ptr<WorkList> WList; variable
162 WList->hasWork() || in hasWorkRemaining()
171 WorkList *getWorkList() const { return WList.get(); } in getWorkList()
221 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
|