Home
last modified time | relevance | path

Searched refs:WorkListUnit (Results 1 – 4 of 4) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DWorkList.h28 class WorkListUnit {
35 WorkListUnit(ExplodedNode *N, BlockCounter C, in WorkListUnit() function
42 explicit WorkListUnit(ExplodedNode *N, BlockCounter C) in WorkListUnit() function
67 virtual void enqueue(const WorkListUnit& U) = 0;
70 enqueue(WorkListUnit(N, CurrentCounter, B, idx)); in enqueue()
75 enqueue(WorkListUnit(N, CurrentCounter)); in enqueue()
78 virtual WorkListUnit dequeue() = 0;
87 virtual bool visit(const WorkListUnit &U) = 0;
DCoreEngine.h136 const WorkListUnit& WU);
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp45 SmallVector<WorkListUnit,20> Stack;
51 void enqueue(const WorkListUnit& U) override { in enqueue()
55 WorkListUnit dequeue() override { in dequeue()
57 const WorkListUnit& U = Stack.back(); in dequeue()
63 for (SmallVectorImpl<WorkListUnit>::iterator in visitItemsInWorkList()
73 std::deque<WorkListUnit> Queue;
79 void enqueue(const WorkListUnit& U) override { in enqueue()
83 WorkListUnit dequeue() override { in dequeue()
84 WorkListUnit U = Queue.front(); in dequeue()
90 for (std::deque<WorkListUnit>::iterator in visitItemsInWorkList()
[all …]
/external/clang/lib/StaticAnalyzer/Checkers/
DVirtualCallChecker.cpp35 typedef const CallExpr * WorkListUnit; typedef in __anoncfae7ccd0111::WalkAST
36 typedef SmallVector<WorkListUnit, 20> DFSWorkList;
70 void Enqueue(WorkListUnit WLUnit) { in Enqueue()
82 WorkListUnit Dequeue() { in Dequeue()
89 WorkListUnit WLUnit = Dequeue(); in Execute()