diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-08-20 23:21:29 +0100 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-17 08:07:24 -0700 |
commit | 90e637a5e02f9d73473f5d14419e13f3ec4730b1 (patch) | |
tree | e7d30316b09bd4168d42f29f8df1b92acd405f13 | |
parent | 441a488842ee81aa31e09cf2a5dd9fb93ed7e5ea (diff) | |
download | klee-90e637a5e02f9d73473f5d14419e13f3ec4730b1.tar.gz |
Another LLVM3.5 compilation fix.
-rw-r--r-- | tools/klee/main.cpp | 9 |
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 |