Remove dead STP logging code.

andrewchi · Apr 25, 2015 · 40d32b2 · 40d32b2
1 parent 9719cdd
commit 40d32b2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/Makefile.config.in b/Makefile.config.in
@@ -36,7 +36,6 @@ ENABLE_METASMT := @ENABLE_METASMT@
 METASMT_ROOT := @METASMT_ROOT@
 
 ENABLE_POSIX_RUNTIME := @ENABLE_POSIX_RUNTIME@
-ENABLE_STPLOG := @ENABLE_STPLOG@
 ENABLE_UCLIBC := @ENABLE_UCLIBC@
 
 KLEE_UCLIBC_BCA := @KLEE_UCLIBC_BCA@

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
@@ -619,10 +619,6 @@ std::string KleeHandler::getRunTimeLibraryPath(const char *argv0) {
 //===----------------------------------------------------------------------===//
 // main Driver function
 //
-#if ENABLE_STPLOG == 1
-extern "C" void STPLOG_init(const char *);
-#endif
-
 static std::string strip(std::string &in) {
  unsigned len = in.size();
  unsigned lead = 0, trail = len;
@@ -1145,11 +1141,7 @@ static llvm::Module *linkWithUclibc(llvm::Module *mainModule, StringRef libDir)
 }
 #endif
 
-int main(int argc, char **argv, char **envp) { 
-#if ENABLE_STPLOG == 1
- STPLOG_init("stplog.c");
-#endif
-
+int main(int argc, char **argv, char **envp) {
  atexit(llvm_shutdown); // Call llvm_shutdown() on exit.
 
  llvm::InitializeNativeTarget();