Add accessor method to return a GRStateManager's internal ConstraintManager.

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

diff --git a/include/clang/Analysis/PathSensitive/GRState.h b/include/clang/Analysis/PathSensitive/GRState.h
index 9c30aa631d7d7c2daf84e93bb160313f31dbb34b..72418583ae3080dc9a0100b4d37a2b54fab44cc9 100644 (file)
--- a/include/clang/Analysis/PathSensitive/GRState.h
+++ b/include/clang/Analysis/PathSensitive/GRState.h
@@ -333,6 +333,7 @@ public:
   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.