diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-04-09 16:13:17 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-04-09 16:13:17 +0000 |
| commit | 044b6f0417cb98741f277602fabf5f07ec9a02c0 (patch) | |
| tree | 880735a5b75889464c98051b294f221ab478dcc3 /lib/Analysis/GRState.cpp | |
| parent | dab44daf8b2501335383bffbd1873e0bae195d30 (diff) | |
analyzer: Introduce a new class, ValueManager, that serves as an aggregate
"manager of symbolic values", wrapping BasicValueFactory, SymbolManager, and
MemRegionManager. While these individual managers nicely separate functionality
in the analyzer, constructing symbolic values can sometimes be cumbersome
because it requires using multiple managers at once. The goal of this class is
to create some factory methods to create SVals that require the use of these
different managers, thus (hopefully) simplifying the analyzer API for clients.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68709 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index 82cb1f24c4..e0e478c307 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -308,7 +308,7 @@ bool GRStateManager::isEqual(const GRState* state, Expr* Ex, } bool GRStateManager::isEqual(const GRState* state, Expr* Ex, uint64_t x) { - return isEqual(state, Ex, BasicVals.getValue(x, Ex->getType())); + return isEqual(state, Ex, getBasicVals().getValue(x, Ex->getType())); } //===----------------------------------------------------------------------===// |