aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/GRExprEngine.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/Analysis/PathSensitive/GRExprEngine.h')
-rw-r--r--include/clang/Analysis/PathSensitive/GRExprEngine.h12
1 files changed, 5 insertions, 7 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h
index 9c401bedc2..29acc707da 100644
--- a/include/clang/Analysis/PathSensitive/GRExprEngine.h
+++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h
@@ -63,6 +63,9 @@ protected:
/// SymMgr - Object that manages the symbol information.
SymbolManager& SymMgr;
+ /// ValMgr - Object that manages/creates SVals.
+ ValueManager &ValMgr;
+
/// EntryNode - The immediate predecessor node.
NodeTy* EntryNode;
@@ -465,13 +468,8 @@ public:
return StateMgr.getBasicVals();
}
- ValueManager &getValueManager() {
- return StateMgr.getValueManager();
- }
-
- const ValueManager &getValueManager() const {
- return StateMgr.getValueManager();
- }
+ ValueManager &getValueManager() { return ValMgr; }
+ const ValueManager &getValueManager() const { return ValMgr; }
// FIXME: Remove when we migrate over to just using ValueManager.
SymbolManager& getSymbolManager() { return SymMgr; }