diff options
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
-rw-r--r-- | lib/Analysis/BasicStore.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 85d96c4780..31408c0244 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -23,6 +23,15 @@ typedef llvm::ImmutableMap<const VarDecl*,SVal> VarBindingsTy; namespace { +class VISIBILITY_HIDDEN BasicStoreSubRegionMap : public SubRegionMap { +public: + BasicStoreSubRegionMap() {} + + void iterSubRegions(const MemRegion* R, Visitor& V) const { + // Do nothing. No subregions. + } +}; + class VISIBILITY_HIDDEN BasicStoreManager : public StoreManager { VarBindingsTy::Factory VBFactory; GRStateManager& StateMgr; @@ -37,6 +46,10 @@ public: ~BasicStoreManager() {} + std::auto_ptr<SubRegionMap> getSubRegionMap(const GRState *state) { + return std::auto_ptr<SubRegionMap>(new BasicStoreSubRegionMap()); + } + SVal Retrieve(const GRState *state, Loc loc, QualType T = QualType()); const GRState* Bind(const GRState* St, Loc L, SVal V) { |