WorkList.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/WorkList.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/EntryPointStats.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/PriorityQueue.h"
#include "llvm/ADT/STLExtras.h"
#include <deque>
#include <vector>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "WorkList"

Functions
	STAT_MAX (MaxQueueSize, "Maximum size of the worklist")
	STAT_MAX (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

STAT_MAX() [1/2]

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

STAT_MAX() [2/2]

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