#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>

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.

Namespaces

Typedefs

Functions

Typedef Documentation

◆ RegionList

◆ ValueList