Revert orphaned changes

2 files changed, 0 insertions, 16 deletions

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 22e4ac92..4dd486b6 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -93,11 +93,9 @@
 #include <iosfwd>
 #include <limits>
 #include <sstream>
-#include <stdlib.h>
 #include <string>
 #include <sys/mman.h>
 #include <sys/resource.h>
-#include <unistd.h>
 #include <vector>
 
 using namespace llvm;
@@ -4695,14 +4693,6 @@ void Executor::executeMakeSymbolic(ExecutionState &state,
     bindObjectInState(state, mo, false, array);
     state.addSymbolic(mo, array);
 
-    if (Differentiator::isSymArg(uniqueName)) {
-      assert(std::atoi(name.c_str() + 3) == this->symArgs.size());
-      this->symArgs.push_back(mo->size - 1); // string's null termination
-    } else if (Differentiator::isSymOut(uniqueName)) {
-      // assert(this->symOuts.find(uniqueName) == this->symOuts.end());
-      this->symOuts[uniqueName] = mo->size;
-    }
-
     auto found = seedMap.find(&state);
     if (found != seedMap.end()) {
       // In seed mode we need to add this as binding
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index eae3a5b2..50446145 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -146,12 +146,6 @@ private:
   /// globals that have no representative object (e.g. aliases).
   std::map<const llvm::GlobalValue*, ref<ConstantExpr>> globalAddresses;
 
-  /// Size of symbolic arguments.
-  std::vector<size_t> symArgs;
-
-  /// Size of symbolic outputs.
-  std::map<std::string, size_t> symOuts;
-
   /// Map of legal function addresses to the corresponding Function.
   /// Used to validate and dereference function pointers.
   std::unordered_map<std::uint64_t, llvm::Function*> legalFunctions;