summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/FlatStore.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/Checker/FlatStore.cpp')
-rw-r--r--clang/lib/Checker/FlatStore.cpp6
1 files changed, 0 insertions, 6 deletions
diff --git a/clang/lib/Checker/FlatStore.cpp b/clang/lib/Checker/FlatStore.cpp
index f427ae1cecc..fcb95f9385c 100644
--- a/clang/lib/Checker/FlatStore.cpp
+++ b/clang/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;
}
OpenPOWER on IntegriCloud