From 90e637a5e02f9d73473f5d14419e13f3ec4730b1 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 20 Aug 2014 23:21:29 +0100
Subject: Another LLVM3.5 compilation fix.

---
 tools/klee/main.cpp | 9 +++++++--
 1 file 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
-- 
cgit 1.4.1