+++ /dev/null
-//== 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
//
//===----------------------------------------------------------------------===//
-#include "clang/Analysis/PathSensitive/BasicStore.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/PathSensitive/GRState.h"
#include "llvm/ADT/ImmutableMap.h"
//
//===----------------------------------------------------------------------===//
-#include "clang/Analysis/PathSensitive/BasicStore.h"
#include "clang/Analysis/PathSensitive/GRExprEngine.h"
#include "clang/Analysis/PathSensitive/BugReporter.h"
#include "clang/Basic/SourceManager.h"