From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 16 Jun 2009 22:55:21 +0000 (+0000)
Subject: Add utility method GRStateRef::makeWithStore().
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cb7835f4f9b681c548f256b62b0810289d4856cd;p=clang

Add utility method GRStateRef::makeWithStore().


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73576 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/Analysis/PathSensitive/GRState.h b/include/clang/Analysis/PathSensitive/GRState.h
index d61feea481..44ec98dfd6 100644
--- a/include/clang/Analysis/PathSensitive/GRState.h
+++ b/include/clang/Analysis/PathSensitive/GRState.h
@@ -539,7 +539,6 @@ public:
   bool isEqual(const GRState* state, Expr* Ex, const llvm::APSInt& V);
   bool isEqual(const GRState* state, Expr* Ex, uint64_t);
   
-  
   //==---------------------------------------------------------------------==//
   // Generic Data Map methods.
   //==---------------------------------------------------------------------==//
@@ -681,6 +680,10 @@ public:
   const GRState* getState() const { return St; } 
   operator const GRState*() const { return St; }
   GRStateManager& getManager() const { return *Mgr; }
+  
+  GRStateRef makeWithStore(Store store) {
+    return GRStateRef(Mgr->MakeStateWithStore(St, store), *Mgr);
+  }
     
   SVal GetSVal(Expr* Ex) {
     return Mgr->GetSVal(St, Ex);