ProgramState.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/TaintManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for ProgramState.cpp:

Go to the source code of this file.

Namespaces
	clang
	Dataflow Directional Tag Classes.
	clang::ento

Typedefs
typedef ArrayRef< const MemRegion * >	RegionList
typedef ArrayRef< SVal >	ValueList

Functions
void	clang::ento::ProgramStateRetain (const ProgramState *state)
	Increments the number of times this state is referenced. More...
void	clang::ento::ProgramStateRelease (const ProgramState *state)
	Decrement the number of times this state is referenced. More...

Typedef Documentation

RegionList

typedef ArrayRef<const MemRegion *> RegionList

Definition at line 160 of file ProgramState.cpp.

ValueList

typedef ArrayRef<SVal> ValueList

Definition at line 161 of file ProgramState.cpp.