diff options
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
-rw-r--r-- | lib/Checker/FlatStore.cpp | 6 |
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; } |