diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/BasicStore.h | 24 | ||||
| -rw-r--r-- | include/clang/Analysis/PathSensitive/Store.h | 3 | ||||
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 1 | ||||
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 1 |
4 files changed, 3 insertions, 26 deletions
diff --git a/include/clang/Analysis/PathSensitive/BasicStore.h b/include/clang/Analysis/PathSensitive/BasicStore.h deleted file mode 100644 index 0c7e8ece2a..0000000000 --- a/include/clang/Analysis/PathSensitive/BasicStore.h +++ /dev/null @@ -1,24 +0,0 @@ -//== BasicStore.h - Basic map from Locations to Values ----------*- C++ -*--==// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defined the BasicStore and BasicStoreManager classes. -// -//===----------------------------------------------------------------------===// - -#ifndef LLVM_CLANG_ANALYSIS_BASICSTORE_H -#define LLVM_CLANG_ANALYSIS_BASICSTORE_H - -#include "clang/Analysis/PathSensitive/Store.h" - -namespace clang { - class GRStateManager; - StoreManager* CreateBasicStoreManager(GRStateManager& StMgr); -} - -#endif diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h index 0014c6dfb5..4f16901972 100644 --- a/include/clang/Analysis/PathSensitive/Store.h +++ b/include/clang/Analysis/PathSensitive/Store.h @@ -128,6 +128,9 @@ public: virtual store::RegionExtent getExtent(store::Region R) =0; }; +StoreManager* CreateBasicStoreManager(GRStateManager& StMgr); + + } // end clang namespace #endif diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index f05a041179..ace8f3fbb5 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -11,7 +11,6 @@ // //===----------------------------------------------------------------------===// -#include "clang/Analysis/PathSensitive/BasicStore.h" #include "clang/Analysis/Analyses/LiveVariables.h" #include "clang/Analysis/PathSensitive/GRState.h" #include "llvm/ADT/ImmutableMap.h" diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 90ff435f86..8af5a74f19 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -13,7 +13,6 @@ // //===----------------------------------------------------------------------===// -#include "clang/Analysis/PathSensitive/BasicStore.h" #include "clang/Analysis/PathSensitive/GRExprEngine.h" #include "clang/Analysis/PathSensitive/BugReporter.h" #include "clang/Basic/SourceManager.h" |