aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2008-11-14 23:49:15 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2008-11-14 23:49:15 +0000
commit90e72e4106a0c3efa7575e9f9cba0c775bb54552 (patch)
tree85a4be813c00779bdb28b8331367cac2592f035a
parent669d5d74b880a8497b92a3ec159145713f4d6519 (diff)
Add handy method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59332 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/GRExprEngine.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h
index 893383e67b..c67ca38540 100644
--- a/include/clang/Analysis/PathSensitive/GRExprEngine.h
+++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h
@@ -386,6 +386,8 @@ public:
GRStateManager& getStateManager() { return StateMgr; }
const GRStateManager& getStateManger() const { return StateMgr; }
+
+ StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
BasicValueFactory& getBasicVals() {
return StateMgr.getBasicVals();