diff options
Diffstat (limited to 'clang')
-rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRExprEngine.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h index dd996bbbf17..dc9767312c0 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/clang/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(); } |