From d971beb276cbf8a14bea6bf2036ac842a8dd55bd Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Jun 2009 07:10:59 +0000 Subject: Remove some unused functionality. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73329 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/ExecutionState.cpp | 21 --------------------- 1 file changed, 21 deletions(-) (limited to 'lib/Core/ExecutionState.cpp') 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) -- cgit 1.4.1