about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorAndrea Mattavelli <andreamattavelli@gmail.com>2016-08-06 10:40:42 +0100
committerAndrea Mattavelli <andreamattavelli@gmail.com>2016-08-06 11:23:50 +0100
commit826c82b4c9d43af3a5a6ca01788061d00821b43a (patch)
treefd4a85690488ae34cd0bfdd21a8f70dc30755fde
parent0186c6fe949b4b8ec9580af3d6a367bd53db56ed (diff)
downloadklee-826c82b4c9d43af3a5a6ca01788061d00821b43a.tar.gz
Fix to #445
-rw-r--r--lib/Solver/QueryLoggingSolver.cpp5
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Solver/QueryLoggingSolver.cpp b/lib/Solver/QueryLoggingSolver.cpp
index fb957b65..a858a7d7 100644
--- a/lib/Solver/QueryLoggingSolver.cpp
+++ b/lib/Solver/QueryLoggingSolver.cpp
@@ -39,16 +39,17 @@ QueryLoggingSolver::QueryLoggingSolver(Solver *_solver, std::string path,
     : solver(_solver), os(0), BufferString(""), logBuffer(BufferString),
       queryCount(0), minQueryTimeToLog(queryTimeToLog), startTime(0.0f),
       lastQueryTime(0.0f), queryCommentSign(commentSign) {
+#ifdef HAVE_ZLIB_H
   if (!CreateCompressedQueryLog) {
+#endif
 #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 5)
     os = new llvm::raw_fd_ostream(path.c_str(), ErrorInfo,
                                   llvm::sys::fs::OpenFlags::F_Text);
 #else
     os = new llvm::raw_fd_ostream(path.c_str(), ErrorInfo);
 #endif
-  }
 #ifdef HAVE_ZLIB_H
-  else {
+  } else {
     os = new compressed_fd_ostream((path + ".gz").c_str(), ErrorInfo);
   }
   if (ErrorInfo != "") {