ProgramState.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/Analysis/CFG.h"
#include "clang/Basic/JsonSupport.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/Support/raw_ostream.h"
#include <optional>

Go to the source code of this file.

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	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.
void	clang::ento::ProgramStateRelease (const ProgramState *state)
	Decrement the number of times this state is referenced.

Typedef Documentation

RegionList

typedef ArrayRef<const MemRegion *> RegionList

Definition at line 147 of file ProgramState.cpp.

ValueList

typedef ArrayRef<SVal> ValueList

Definition at line 148 of file ProgramState.cpp.