diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:23:27 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:23:27 +0000 |
| commit | 78a5361ae7cb6f468a6dc721f34883072cf11b34 (patch) | |
| tree | 593c82227d73144eb5e76e3cdc8ed8e57b8d97d8 | |
| parent | 66b527193aa6f3aa94c03f6769c42d7642e1e147 (diff) | |
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
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRState.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRState.h b/include/clang/Analysis/PathSensitive/GRState.h index 9c30aa631d..72418583ae 100644 --- 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. |