diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-09 04:08:27 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-09 04:08:27 +0000 |
| commit | 91e2ab496fdab4512652041b9cd0818ca872e342 (patch) | |
| tree | 085d7afb3d68b0a85ecdce71c950d1cf8562e9ca /clang/lib/Analysis/BasicStore.cpp | |
| parent | 34d04b3ca9657e96174d98976527965585cec535 (diff) | |
| download | bcm5719-llvm-91e2ab496fdab4512652041b9cd0818ca872e342.tar.gz bcm5719-llvm-91e2ab496fdab4512652041b9cd0818ca872e342.zip | |
Rename:
SymbolRegionRValue => SymbolRegionValue
SymExpr::RegionRValue => SymExpr::RegionValueKind
llvm-svn: 71322
Diffstat (limited to 'clang/lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/BasicStore.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp index b9eeb9f8bcc..2dd46c38534 100644 --- a/clang/lib/Analysis/BasicStore.cpp +++ b/clang/lib/Analysis/BasicStore.cpp @@ -487,7 +487,7 @@ Store BasicStoreManager::scanForIvars(Stmt *B, const Decl* SelfDecl, Store St) { if (DR->getDecl() == SelfDecl) { const MemRegion *IVR = MRMgr.getObjCIvarRegion(IV->getDecl(), SelfRegion); - SVal X = ValMgr.getRValueSymbolVal(IVR); + SVal X = ValMgr.getRegionValueSymbolVal(IVR); St = BindInternal(St, Loc::MakeVal(IVR), X); } } @@ -543,7 +543,7 @@ Store BasicStoreManager::getInitialStore() { const MemRegion *R = StateMgr.getRegion(VD); SVal X = (VD->hasGlobalStorage() || isa<ParmVarDecl>(VD) || isa<ImplicitParamDecl>(VD)) - ? ValMgr.getRValueSymbolVal(R) + ? ValMgr.getRegionValueSymbolVal(R) : UndefinedVal(); St = BindInternal(St, Loc::MakeVal(R), X); |
