LimitedRegionBindingsRef Class Reference

This class represents the same as RegionBindingsRef, but with a limit on the number of bindings that can be added. More...

Inheritance diagram for LimitedRegionBindingsRef:

Public Member Functions
	LimitedRegionBindingsRef (RegionBindingsRef Base, SmallVectorImpl< SVal > &EscapedValuesDuringBind, std::optional< unsigned > BindingsLeft)
bool	hasExhaustedBindingLimit () const
LimitedRegionBindingsRef	withValuesEscaped (SVal V) const
LimitedRegionBindingsRef	withValuesEscaped (nonloc::CompoundVal::iterator Begin, nonloc::CompoundVal::iterator End) const
LimitedRegionBindingsRef	addWithoutDecreasingLimit (const MemRegion *BaseRegion, data_type_ref BindingKeyAndValue) const
LimitedRegionBindingsRef	removeCluster (const MemRegion *BaseRegion) const
LimitedRegionBindingsRef	addBinding (BindingKey K, SVal V) const
LimitedRegionBindingsRef	addBinding (const MemRegion *R, BindingKey::Kind k, SVal V) const

Detailed Description

This class represents the same as RegionBindingsRef, but with a limit on the number of bindings that can be added.

Definition at line 333 of file RegionStore.cpp.

Constructor & Destructor Documentation

LimitedRegionBindingsRef()

LimitedRegionBindingsRef::LimitedRegionBindingsRef ( RegionBindingsRef Base, SmallVectorImpl< SVal > & EscapedValuesDuringBind, std::optional< unsigned > BindingsLeft )

inline

Definition at line 335 of file RegionStore.cpp.

Referenced by addBinding(), addBinding(), addWithoutDecreasingLimit(), removeCluster(), and withValuesEscaped().

Member Function Documentation

addBinding() [1/2]

LimitedRegionBindingsRef LimitedRegionBindingsRef::addBinding ( BindingKey K, SVal V ) const

inline

Examples

/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 373 of file RegionStore.cpp.

References LimitedRegionBindingsRef(), V, and withValuesEscaped().

Referenced by addBinding().

addBinding() [2/2]

LimitedRegionBindingsRef LimitedRegionBindingsRef::addBinding ( const MemRegion * R, BindingKey::Kind k, SVal V ) const

inline

Definition at line 392 of file RegionStore.cpp.

References addBinding(), LimitedRegionBindingsRef(), and V.

addWithoutDecreasingLimit()

LimitedRegionBindingsRef LimitedRegionBindingsRef::addWithoutDecreasingLimit ( const MemRegion * BaseRegion, data_type_ref BindingKeyAndValue ) const

inline

Examples

/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 360 of file RegionStore.cpp.

References LimitedRegionBindingsRef().

hasExhaustedBindingLimit()

bool LimitedRegionBindingsRef::hasExhaustedBindingLimit ( ) const

inline

Examples

/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 342 of file RegionStore.cpp.

removeCluster()

LimitedRegionBindingsRef LimitedRegionBindingsRef::removeCluster ( const MemRegion * BaseRegion ) const

inline

Examples

/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 367 of file RegionStore.cpp.

References LimitedRegionBindingsRef().

withValuesEscaped() [1/2]

LimitedRegionBindingsRef LimitedRegionBindingsRef::withValuesEscaped ( nonloc::CompoundVal::iterator Begin, nonloc::CompoundVal::iterator End ) const

inline

Definition at line 352 of file RegionStore.cpp.

References V, and withValuesEscaped().

withValuesEscaped() [2/2]

LimitedRegionBindingsRef LimitedRegionBindingsRef::withValuesEscaped ( SVal V ) const

inline

Examples

/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 346 of file RegionStore.cpp.

References LimitedRegionBindingsRef(), and V.

Referenced by addBinding(), and withValuesEscaped().

---

The documentation for this class was generated from the following file:

• lib/StaticAnalyzer/Core/RegionStore.cpp