diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-06-07 13:37:10 +0200 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2017-06-07 15:24:13 +0100 |
commit | 48321b4572b494b3e2cb24222043f617424596ee (patch) | |
tree | e93d542edac6b45c7ebc3b2214520a39ff5c4303 | |
parent | 82c7d357dcc8b4c25932d5887671210f2ba49b0f (diff) | |
download | klee-48321b4572b494b3e2cb24222043f617424596ee.tar.gz |
llvm: rename ExitOnError to OptExitOnError
ExitOnError collides with llvm::ExitOnError from LLVM 4: tools/klee/main.cpp:430:23: error: reference to 'ExitOnError' is ambiguous if (errorMessage && ExitOnError) { ^ /usr/include/llvm/Support/Error.h:938:7: note: candidate found by name lookup is 'llvm::ExitOnError' class ExitOnError { ^ klee/tools/klee/main.cpp:141:3: note: candidate found by name lookup is '(anonymous namespace)::ExitOnError' ExitOnError("exit-on-error", ^ 1 error generated. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
-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 9e36f949..b74789fa 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -132,7 +132,7 @@ namespace { cl::desc("Write .sym.path files for each test case")); cl::opt<bool> - ExitOnError("exit-on-error", + OptExitOnError("exit-on-error", cl::desc("Exit if errors occur")); @@ -413,7 +413,7 @@ llvm::raw_fd_ostream *KleeHandler::openTestFile(const std::string &suffix, void KleeHandler::processTestCase(const ExecutionState &state, const char *errorMessage, const char *errorSuffix) { - if (errorMessage && ExitOnError) { + if (errorMessage && OptExitOnError) { m_interpreter->prepareForEarlyExit(); klee_error("EXITING ON ERROR:\n%s\n", errorMessage); } |