clang 20.0.0git
Macros | Functions
WorkList.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/WorkList.h"
#include "llvm/ADT/PriorityQueue.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/Statistic.h"
#include <deque>
#include <vector>

Go to the source code of this file.

Macros

#define DEBUG_TYPE   "WorkList"
 

Functions

 STATISTIC (MaxQueueSize, "Maximum size of the worklist")
 
 STATISTIC (MaxReachableSize, "Maximum size of auxiliary worklist set")
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "WorkList"

Definition at line 25 of file WorkList.cpp.

Function Documentation

◆ STATISTIC() [1/2]

STATISTIC ( MaxQueueSize  ,
"Maximum size of the worklist"   
)

◆ STATISTIC() [2/2]

STATISTIC ( MaxReachableSize  ,
"Maximum size of auxiliary worklist set"   
)

References clang::DFS.