aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-08-28 23:39:42 +0000
committerTed Kremenek <kremenek@apple.com>2008-08-28 23:39:42 +0000
commitc0637cfe928da2251d4379602c1c86fa5f0de2ca (patch)
tree59bc28ea1cc89c50f2d0306f97b80427d18da815
parenta3206b4f8ca5aa9440d96274af9281da30c511bc (diff)
Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55519 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/BasicStore.h24
-rw-r--r--include/clang/Analysis/PathSensitive/Store.h3
-rw-r--r--lib/Analysis/BasicStore.cpp1
-rw-r--r--lib/Analysis/GRExprEngine.cpp1
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"