#include "clang/AST/Attr.h"
#include "clang/AST/CharUnits.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Basic/JsonSupport.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/ADT/ImmutableMap.h"
#include "llvm/ADT/Optional.h"
#include "llvm/Support/raw_ostream.h"
#include <utility>

Include dependency graph for RegionStore.cpp:

Namespaces
	llvm

Typedefs
typedef llvm::ImmutableMap< BindingKey, SVal >	ClusterBindings

typedef llvm::ImmutableMapRef< BindingKey, SVal >	ClusterBindingsRef

typedef std::pair< BindingKey, SVal >	BindingPair

typedef llvm::ImmutableMap< const MemRegion *, ClusterBindings >	RegionBindings

typedef SmallVector< const FieldDecl *, 8 >	FieldVector

Functions
static raw_ostream &	llvm::operator<< (raw_ostream &Out, BindingKey K)

static bool	isUnionField (const FieldRegion *FR)

static void	getSymbolicOffsetFields (BindingKey K, FieldVector &Fields)

static bool	isCompatibleWithFields (BindingKey K, const FieldVector &Fields)

static void	collectSubRegionBindings (SmallVectorImpl< BindingPair > &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings)
	Collects all bindings in `Cluster` that may refer to bindings within `Top`. More...

static void	collectSubRegionBindings (SmallVectorImpl< BindingPair > &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, bool IncludeAllDefaultBindings)

static QualType	getUnderlyingType (const SubRegion *R)

static Optional< nonloc::LazyCompoundVal >	getExistingLazyBinding (SValBuilder &SVB, RegionBindingsConstRef B, const SubRegion *R, bool AllowSubregionBindings)
	Checks to see if store `B` has a lazy binding for region `R`. More...

static bool	isRecordEmpty (const RecordDecl *RD)

Variables
const typedef RegionBindingsRef &	RegionBindingsConstRef

Typedef Documentation

◆ BindingPair

typedef std::pair<BindingKey, SVal> BindingPair

Definition at line 148 of file RegionStore.cpp.

◆ ClusterBindings

typedef llvm::ImmutableMap<BindingKey, SVal> ClusterBindings

Definition at line 146 of file RegionStore.cpp.

◆ ClusterBindingsRef

typedef llvm::ImmutableMapRef<BindingKey, SVal> ClusterBindingsRef

Definition at line 147 of file RegionStore.cpp.

◆ FieldVector

typedef SmallVector<const FieldDecl *, 8> FieldVector

Definition at line 811 of file RegionStore.cpp.

◆ RegionBindings

typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings> RegionBindings

Definition at line 151 of file RegionStore.cpp.

Function Documentation

◆ collectSubRegionBindings() [1/2]

static void collectSubRegionBindings	(	SmallVectorImpl< BindingPair > &	Bindings,
		SValBuilder &	SVB,
		const ClusterBindings &	Cluster,
		const SubRegion *	Top,
		BindingKey	TopKey,
		bool	IncludeAllDefaultBindings
	)

static

Collects all bindings in Cluster that may refer to bindings within Top.

Each binding is a pair whose first is the key (a BindingKey) and whose second is the value (an SVal).

The IncludeAllDefaultBindings parameter specifies whether to include default bindings that may extend beyond Top itself, e.g. if Top is an aggregate within a larger aggregate with a default binding.

Definition at line 857 of file RegionStore.cpp.

References getSymbolicOffsetFields(), and isCompatibleWithFields().

Referenced by collectSubRegionBindings(), and getExistingLazyBinding().

◆ collectSubRegionBindings() [2/2]

static void collectSubRegionBindings	(	SmallVectorImpl< BindingPair > &	Bindings,
		SValBuilder &	SVB,
		const ClusterBindings &	Cluster,
		const SubRegion *	Top,
		bool	IncludeAllDefaultBindings
	)

static

Definition at line 929 of file RegionStore.cpp.

References collectSubRegionBindings().

◆ getExistingLazyBinding()

static Optional<nonloc::LazyCompoundVal> getExistingLazyBinding	(	SValBuilder &	SVB,
		RegionBindingsConstRef	B,
		const SubRegion *	R,
		bool	AllowSubregionBindings
	)