clang: LimitedRegionBindingsRef Class Reference (original) (raw)

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

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

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.

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

◆ addBinding() [1/2]

◆ addBinding() [2/2]

◆ addWithoutDecreasingLimit()

◆ hasExhaustedBindingLimit()

bool LimitedRegionBindingsRef::hasExhaustedBindingLimit ( ) const inline

◆ removeCluster()

◆ withValuesEscaped() [1/2]

◆ withValuesEscaped() [2/2]

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