Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp77 : ExprEng(exprengine), WList(generateWorkList(Opts)), in CoreEngine()
82 WList->setBlockCounter(C); in setBlockCounter()
140 while (WList->hasWork()) { in ExecuteWorkList()
151 const WorkListUnit &WU = WList->dequeue(); in ExecuteWorkList()
173 WList = std::move(CTUWList); in ExecuteWorkList()
179 return WList->hasWork(); in ExecuteWorkList()
299 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()
527 if (IsNew) WList->enqueue(Node); in generateNode()
539 WList->enqueue(N, Block, Idx); in enqueueStmtNode()
547 WList->enqueue(N, Block, Idx+1); in enqueueStmtNode()
[all …]
H A DExprEngineCallAndReturn.cpp530 void ExprEngine::inlineCall(WorkList *WList, const CallEvent &Call, in inlineCall() argument
567 WList->enqueue(N); in inlineCall()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h81 std::unique_ptr<WorkList> WList; variable
161 WList->hasWork() || in hasWorkRemaining()
170 WorkList *getWorkList() const { return WList.get(); } in getWorkList()
223 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
H A DExprEngine.h837 void inlineCall(WorkList *WList, const CallEvent &Call, const Decl *D,