about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2014-08-20 23:21:29 +0100
committerDaniel Dunbar <daniel@zuster.org>2014-09-17 08:07:24 -0700
commit90e637a5e02f9d73473f5d14419e13f3ec4730b1 (patch)
treee7d30316b09bd4168d42f29f8df1b92acd405f13
parent441a488842ee81aa31e09cf2a5dd9fb93ed7e5ea (diff)
downloadklee-90e637a5e02f9d73473f5d14419e13f3ec4730b1.tar.gz
Another LLVM3.5 compilation fix.
-rw-r--r--tools/klee/main.cpp9
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 4a80cb77..b2bb4c47 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -279,10 +279,15 @@ KleeHandler::KleeHandler(int argc, char **argv)
   bool dir_given = OutputDir != "";
   SmallString<128> directory(dir_given ? OutputDir : InputFile);
 
-  error_code ec;
   if (!dir_given) sys::path::remove_filename(directory);
-  if ((ec = sys::fs::make_absolute(directory)) != errc::success)
+#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5)
+  error_code ec;
+  if ((ec = sys::fs::make_absolute(directory)) != errc::success) {
+#else
+  if (auto ec = sys::fs::make_absolute(directory)) {
+#endif
     klee_error("unable to determine absolute path: %s", ec.message().c_str());
+  }
 
   if (dir_given) {
     // OutputDir