aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/FlatStore.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-02-08 08:17:02 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-02-08 08:17:02 +0000
commit52535688b1339e0b3898ac0d670052482851a3ab (patch)
tree5bc93cb67c76fe5e3fdf0ce065de54bcdbe437ac /lib/Checker/FlatStore.cpp
parentc1511e04998e685c9e030323e248363b9633267d (diff)
Unify the implementation of getLValueElement of store managers.
It's more sophisticated than the original one of BasicStore. But it does matter. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95536 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
-rw-r--r--lib/Checker/FlatStore.cpp6
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp
index f427ae1cec..fcb95f9385 100644
--- a/lib/Checker/FlatStore.cpp
+++ b/lib/Checker/FlatStore.cpp
@@ -42,7 +42,6 @@ public:
return 0;
}
- SVal getLValueElement(QualType elementType, SVal offset, SVal Base);
SVal ArrayToPointer(Loc Array);
Store RemoveDeadBindings(Store store, Stmt* Loc, SymbolReaper& SymReaper,
llvm::SmallVectorImpl<const MemRegion*>& RegionRoots){
@@ -126,11 +125,6 @@ Store FlatStoreManager::BindCompoundLiteral(Store store,
return store;
}
-SVal FlatStoreManager::getLValueElement(QualType elementType, SVal offset,
- SVal Base) {
- return UnknownVal();
-}
-
SVal FlatStoreManager::ArrayToPointer(Loc Array) {
return Array;
}