[cfe-commits] r73576 - /cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h

[Ted Kremenek]

Author: kremenek
Date: Tue Jun 16 17:55:21 2009
New Revision: 73576

URL: http://llvm.org/viewvc/llvm-project?rev=73576&view=rev
Log:
Add utility method GRStateRef::makeWithStore().

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h?rev=73576&r1=73575&r2=73576&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h Tue Jun 16 17:55:21 2009
@@ -539,7 +539,6 @@
   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 @@
   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);