diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:23:48 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:23:48 +0000 |
commit | a516ce16b472e61924f5dd10d181c3e8330979af (patch) | |
tree | 054fa23ec466d16f129aa64b0a859ca013344e25 | |
parent | 78a5361ae7cb6f468a6dc721f34883072cf11b34 (diff) |
Add accessor method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66626 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRExprEngine.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h index dd996bbbf1..dc9767312c 100644 --- a/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -430,6 +430,10 @@ public: StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } + ConstraintManager& getConstraintManager() { + return StateMgr.getConstraintManager(); + } + BasicValueFactory& getBasicVals() { return StateMgr.getBasicVals(); } |