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 d61feea4819e61537aa050b926ea65efb44b9c2f..44ec98dfd6ba556c5dffc4d7c95e35e5c09b03ba 100644 (file)
--- 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);