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.