diff options
| author | Anna Zaks <ganna@apple.com> | 2012-01-12 02:22:40 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-01-12 02:22:40 +0000 |
| commit | 1437425a62dbf7bdb0a855d3ed3b05ed2019ec1e (patch) | |
| tree | 499056507afbcccdb00763cc74736e5b2d86a858 /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | |
| parent | 1fb826a6fd893234f32b0b91bb92ea4d127788ad (diff) | |
[analyzer] Rename Store::Retrieve() -> getBinding().
+ all the other Retrieve..() methods + a comment for ElementRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148011 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index 7c9ea98698..af7845af6c 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -728,11 +728,12 @@ ProgramState::getSValAsScalarOrLoc(const Stmt *S, } inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const { - return getStateManager().StoreMgr->Retrieve(getStore(), LV, T); + return getStateManager().StoreMgr->getBinding(getStore(), LV, T); } inline SVal ProgramState::getSVal(const MemRegion* R) const { - return getStateManager().StoreMgr->Retrieve(getStore(), loc::MemRegionVal(R)); + return getStateManager().StoreMgr->getBinding(getStore(), + loc::MemRegionVal(R)); } inline BasicValueFactory &ProgramState::getBasicVals() const { |