clang  3.9.0
Classes | Namespaces | Typedefs | Enumerations | Functions
RegionStore.cpp File Reference
#include "clang/AST/Attr.h"
#include "clang/AST/CharUnits.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/AnalysisContext.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/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
#include "llvm/ADT/ImmutableList.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:

Go to the source code of this file.

Classes

struct  llvm::isPodLike< typename >
 
struct  llvm::isPodLike< BindingKey >
 

Namespaces

 llvm
 DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators.
 

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 const RegionBindingsRef & RegionBindingsConstRef
 
typedef SmallVector< const
FieldDecl *, 8 > 
FieldVector
 

Enumerations

enum  GlobalsFilterKind
 Used to determine which global regions are automatically included in the initial worklist of a ClusterAnalysis. More...
 

Functions

static raw_ostream & llvm::operator<< (raw_ostream &os, 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)
 

Typedef Documentation

typedef std::pair<BindingKey, SVal> BindingPair

Definition at line 146 of file RegionStore.cpp.

typedef llvm::ImmutableMap<BindingKey, SVal> ClusterBindings

Definition at line 144 of file RegionStore.cpp.

typedef llvm::ImmutableMapRef<BindingKey, SVal> ClusterBindingsRef

Definition at line 145 of file RegionStore.cpp.

typedef SmallVector<const FieldDecl *, 8> FieldVector

Definition at line 753 of file RegionStore.cpp.

Definition at line 149 of file RegionStore.cpp.

typedef const RegionBindingsRef& RegionBindingsConstRef

Definition at line 225 of file RegionStore.cpp.

Enumeration Type Documentation

Used to determine which global regions are automatically included in the initial worklist of a ClusterAnalysis.

Definition at line 629 of file RegionStore.cpp.

Function Documentation

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 799 of file RegionStore.cpp.

References E, clang::ento::SVal::getAs(), clang::ASTContext::getCharWidth(), clang::ento::SValBuilder::getContext(), clang::ento::SubRegion::getExtent(), getSymbolicOffsetFields(), I, isCompatibleWithFields(), clang::ento::MemRegion::isSubRegionOf(), clang::ento::SubRegion::isSubRegionOf(), Length, and clang::Make.

Referenced by collectSubRegionBindings(), and getExistingLazyBinding().

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

Definition at line 871 of file RegionStore.cpp.

References collectSubRegionBindings(), and clang::Make.

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

Checks to see if store B has a lazy binding for region R.

If AllowSubregionBindings is false, a lazy binding will be rejected if there are additional bindings within R.

Note that unlike RegionStoreManager::findLazyBinding, this will not search for lazy bindings for super-regions of R.

Definition at line 1494 of file RegionStore.cpp.

References collectSubRegionBindings(), clang::ento::MemRegion::getBaseRegion(), clang::ento::SValBuilder::getContext(), getUnderlyingType(), clang::ASTContext::hasSameUnqualifiedType(), clang::QualType::isNull(), clang::Type::isVoidPointerType(), and clang::None.

static void getSymbolicOffsetFields ( BindingKey  K,
FieldVector Fields 
)
static

Definition at line 755 of file RegionStore.cpp.

References isUnionField().

Referenced by collectSubRegionBindings(), and isCompatibleWithFields().

static QualType getUnderlyingType ( const SubRegion R)
static
static bool isCompatibleWithFields ( BindingKey  K,
const FieldVector Fields 
)
static

Definition at line 770 of file RegionStore.cpp.

References Delta, and getSymbolicOffsetFields().

Referenced by collectSubRegionBindings().

static bool isRecordEmpty ( const RecordDecl RD)
static

Definition at line 1922 of file RegionStore.cpp.

References clang::RecordDecl::field_empty().

static bool isUnionField ( const FieldRegion FR)
inlinestatic