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

[Ted Kremenek]

Author: kremenek
Date: Tue Mar 10 21:23:27 2009
New Revision: 66625

URL: http://llvm.org/viewvc/llvm-project?rev=66625&view=rev
Log:
Add accessor method to return a GRStateManager's internal ConstraintManager.

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=66625&r1=66624&r2=66625&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h Tue Mar 10 21:23:27 2009
@@ -333,6 +333,7 @@
   llvm::BumpPtrAllocator& getAllocator() { return Alloc; }
   MemRegionManager& getRegionManager() { return StoreMgr->getRegionManager(); }
   StoreManager& getStoreManager() { return *StoreMgr; }
+  ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
 
   const GRState* BindDecl(const GRState* St, const VarDecl* VD, SVal IVal) {
     // Store manager should return a persistent state.