diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-23 15:54:20 +0100 |
|---|---|---|
| committer | Jiri Slaby <jirislaby@gmail.com> | 2017-02-23 15:56:34 +0100 |
| commit | 343f4e1a653da5ff10c86c4b62c378e268e32027 (patch) | |
| tree | 64afcf8a35004945199a90cb22dc5817806dc235 /lib/Core/ExternalDispatcher.h | |
| parent | 013962e6bbd5606e3020407721b6e8347e408ced (diff) | |
| download | klee-343f4e1a653da5ff10c86c4b62c378e268e32027.tar.gz | |
CommandLine: do not copy list in optionIsSet
Pass the list as reference. Otherwise we can get errors with newer LLVM
like:
lib/Basic/ConstructSolverChain.cpp:26:19: error: call to deleted constructor of 'llvm::cl::list<QueryLoggingSolverType>'
if (optionIsSet(queryLoggingOptions, SOLVER_KQUERY)) {
^~~~~~~~~~~~~~~~~~~
llvm/Support/CommandLine.h:1466:3: note: 'list' has been explicitly marked deleted here
list(const list &) = delete;
^
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Core/ExternalDispatcher.h')
0 files changed, 0 insertions, 0 deletions