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 /test/Feature/CallToUndefinedExternal.cpp | |
| 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>
Diffstat (limited to 'test/Feature/CallToUndefinedExternal.cpp')
0 files changed, 0 insertions, 0 deletions