aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/BasicStore.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-08-15 10:08:38 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-08-15 10:08:38 +0000
commit57663fe6c3c7a0fb792626537c4f3f7d3594aa66 (patch)
tree5618b881d352612efde65a5d952ee3af76a82a0f /lib/Checker/BasicStore.cpp
parent173ff5669699bd69eaa63421d764d3f0fd74b4e7 (diff)
Remove redundant method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111099 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/BasicStore.cpp')
-rw-r--r--lib/Checker/BasicStore.cpp6
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/Checker/BasicStore.cpp b/lib/Checker/BasicStore.cpp
index a5e87e4cb1..0c42eb1256 100644
--- a/lib/Checker/BasicStore.cpp
+++ b/lib/Checker/BasicStore.cpp
@@ -103,8 +103,6 @@ public:
private:
SVal LazyRetrieve(Store store, const TypedRegion *R);
-
- ASTContext& getContext() { return StateMgr.getContext(); }
};
} // end anonymous namespace
@@ -228,8 +226,6 @@ Store BasicStoreManager::Bind(Store store, Loc loc, SVal V) {
return VBFactory.Add(B, R, V).getRoot();
}
- ASTContext &C = StateMgr.getContext();
-
// Special case: handle store of pointer values (Loc) to pointers via
// a cast to intXX_t*, void*, etc. This is needed to handle
// OSCompareAndSwap32Barrier/OSCompareAndSwap64Barrier.
@@ -238,7 +234,7 @@ Store BasicStoreManager::Bind(Store store, Loc loc, SVal V) {
// FIXME: Should check for index 0.
QualType T = ER->getLocationType();
- if (isHigherOrderRawPtr(T, C))
+ if (isHigherOrderRawPtr(T, Ctx))
R = ER->getSuperRegion();
}