diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2020-09-04 22:04:57 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-10-12 11:19:24 +0100 |
| commit | 9c445a83bc03ca4a0335e98704feee44183831a6 (patch) | |
| tree | 868034bc5ed0406a6bced20f30340146ca079b50 /tools | |
| parent | e94d9c6268cb75ff317a42e26f33c419e6686b5d (diff) | |
| download | klee-9c445a83bc03ca4a0335e98704feee44183831a6.tar.gz | |
Exception handling only for LLVM >= 8.0.0
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 61a9f164..44fa4cc5 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1272,14 +1272,14 @@ int main(int argc, char **argv, char **envp) { klee_error("error loading libcxx '%s': %s", LibcxxBC.c_str(), errorMsg.c_str()); klee_message("NOTE: Using libcxx : %s", LibcxxBC.c_str()); - +#ifdef SUPPORT_KLEE_EH_CXX SmallString<128> EhCxxPath(Opts.LibraryDir); llvm::sys::path::append(EhCxxPath, "libklee-eh-cxx.bca"); if (!klee::loadFile(EhCxxPath.c_str(), mainModule->getContext(), loadedModules, errorMsg)) klee_error("error loading libklee-eh-cxx '%s': %s", EhCxxPath.c_str(), errorMsg.c_str()); - +#endif #endif } |