Remove some unused functionality.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73329 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 0 insertions, 21 deletions

diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp
index d07b6490..9eb560b8 100644
--- a/lib/Core/ExecutionState.cpp
+++ b/lib/Core/ExecutionState.cpp
@@ -303,29 +303,8 @@ bool ExecutionState::merge(const ExecutionState &b) {
   return true;
 }
 
-/**/
-
-/*
-   Used for tainting: create a clone of os that we can revirt to with
-   the behavior that all constraints are preserved, but writes are 
-   discarded.  When we revirt it will be at the same address.
- */
-ObjectState *ExecutionState::cloneObject(ObjectState *os, 
-                                         MemoryObject *mo) {
-  MemoryMap::iterator it = shadowObjects.find(mo);
-  if (it != shadowObjects.end())
-    assert(0 && "Cannot exist already!");
-
-  llvm::cerr << "DRE: Inserting a cloned object: " << mo << "\n";
-  shadowObjects = shadowObjects.replace(std::make_pair(mo, os));
-  os = new ObjectState(*os);
-  addressSpace.bindObject(mo, os);
-  return os;
-}
-
 /***/
 
-
 ExecutionTraceEvent::ExecutionTraceEvent(ExecutionState& state, 
                                          KInstruction* ki)
   : consecutiveCount(1)