diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-21 06:27:32 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-21 06:27:32 +0000 |
| commit | 8485ec6a1d7d7f25ea680ea3740bc1a11d2bb7cd (patch) | |
| tree | 47b77ba39e330c4cd5078cbc899282a0e9d969eb /lib/Analysis/GRState.cpp | |
| parent | 65e5e4054bdce29917995cb31934e96af62263b9 (diff) | |
Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57896 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 09275e28a7..828be2229f 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -63,7 +63,7 @@ const GRState* GRStateManager::SetSVal(const GRState* St, Loc LV, SVal V) { Store OldStore = St->getStore(); - Store NewStore = StoreMgr->SetSVal(OldStore, LV, V); + Store NewStore = StoreMgr->Bind(OldStore, LV, V); if (NewStore == OldStore) return St; |