diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-12-12 19:21:18 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2019-12-13 10:27:42 +0000 |
| commit | d67b910456e8d0d8756607a2ba43259d3aa3afd5 (patch) | |
| tree | ffc503ee5a0251107fd0e653f8eef1a15e6272eb /lib/Core/Executor.cpp | |
| parent | 85c22c2486c79b463451aeeba56a33313d4e460d (diff) | |
| download | klee-d67b910456e8d0d8756607a2ba43259d3aa3afd5.tar.gz | |
Remove unnecessary std::move's that prevent copy elision
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 934fa43e..b10a8850 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -445,10 +445,10 @@ Executor::Executor(LLVMContext &ctx, const InterpreterOptions &opts, const time::Span maxTime{MaxTime}; if (maxTime) timers.add( - std::move(std::make_unique<Timer>(maxTime, [&]{ + std::make_unique<Timer>(maxTime, [&]{ klee_message("HaltTimer invoked"); setHaltExecution(true); - }))); + })); coreSolverTimeout = time::Span{MaxCoreSolverTime}; if (coreSolverTimeout) UseForkedCoreSolver = true; |