diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-03-01 06:56:52 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-03-01 06:56:52 +0000 |
| commit | 14d2328ecfc5102b077fa2c2c129dce1574c8831 (patch) | |
| tree | a11479a21376871fccd9bfe2681ea1fbf3933ead /lib/Checker/BasicStore.cpp | |
| parent | 2db08ca1246648bb7e8f32551b2d8483fb889bf8 (diff) | |
Since now we store the cast type with an ElementRegion, there is
no need to store a type with SymbolRegionValue.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97437 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/BasicStore.cpp')
| -rw-r--r-- | lib/Checker/BasicStore.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Checker/BasicStore.cpp b/lib/Checker/BasicStore.cpp index 6ef29429f6..3661ae18fa 100644 --- a/lib/Checker/BasicStore.cpp +++ b/lib/Checker/BasicStore.cpp @@ -319,7 +319,7 @@ Store BasicStoreManager::scanForIvars(Stmt *B, const Decl* SelfDecl, const Expr *Base = IV->getBase()->IgnoreParenCasts(); if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Base)) { if (DR->getDecl() == SelfDecl) { - const MemRegion *IVR = MRMgr.getObjCIvarRegion(IV->getDecl(), + const ObjCIvarRegion *IVR = MRMgr.getObjCIvarRegion(IV->getDecl(), SelfRegion); SVal X = ValMgr.getRegionValueSymbolVal(IVR); St = Bind(St, ValMgr.makeLoc(IVR), X); @@ -351,7 +351,7 @@ Store BasicStoreManager::getInitialStore(const LocationContext *InitLoc) { if (MD->getSelfDecl() == PD) { // FIXME: Add type constraints (when they become available) to // SelfRegion? (i.e., it implements MD->getClassInterface()). - const MemRegion *VR = MRMgr.getVarRegion(PD, InitLoc); + const VarRegion *VR = MRMgr.getVarRegion(PD, InitLoc); const MemRegion *SelfRegion = ValMgr.getRegionValueSymbolVal(VR).getAsRegion(); assert(SelfRegion); @@ -369,7 +369,7 @@ Store BasicStoreManager::getInitialStore(const LocationContext *InitLoc) { // Initialize globals and parameters to symbolic values. // Initialize local variables to undefined. - const MemRegion *R = ValMgr.getRegionManager().getVarRegion(VD, InitLoc); + const VarRegion *R = ValMgr.getRegionManager().getVarRegion(VD, InitLoc); SVal X = UndefinedVal(); if (R->hasGlobalsOrParametersStorage()) X = ValMgr.getRegionValueSymbolVal(R); |