diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-02 07:49:45 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-02 07:49:45 +0000 |
| commit | c8413fd03f73084a5c93028f8b4db619fc388087 (patch) | |
| tree | 0815a7cb0b9c477e280a91e4c89713488e43f7f2 /lib/Checker/FlatStore.cpp | |
| parent | 0608f53744ccf88c4d21d6b500f6d23927533ac9 (diff) | |
Merge ValueManager into SValBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120696 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
| -rw-r--r-- | lib/Checker/FlatStore.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp index bda7a632e2..6053f33ad5 100644 --- a/lib/Checker/FlatStore.cpp +++ b/lib/Checker/FlatStore.cpp @@ -111,7 +111,7 @@ SVal FlatStoreManager::RetrieveRegionWithNoBinding(const MemRegion *R, if (R->hasStackNonParametersStorage()) return UndefinedVal(); else - return ValMgr.getRegionValueSymbolVal(cast<TypedRegion>(R)); + return svalBuilder.getRegionValueSymbolVal(cast<TypedRegion>(R)); } Store FlatStoreManager::Bind(Store store, Loc L, SVal val) { @@ -149,7 +149,7 @@ SVal FlatStoreManager::ArrayToPointer(Loc Array) { Store FlatStoreManager::BindDecl(Store store, const VarRegion *VR, SVal initVal) { - return Bind(store, ValMgr.makeLoc(VR), initVal); + return Bind(store, svalBuilder.makeLoc(VR), initVal); } Store FlatStoreManager::BindDeclWithNoInit(Store store, const VarRegion *VR) { |