From d67b910456e8d0d8756607a2ba43259d3aa3afd5 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 12 Dec 2019 19:21:18 +0000
Subject: Remove unnecessary std::move's that prevent copy elision

---
 lib/Core/StatsTracker.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'lib/Core/StatsTracker.cpp')

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 5eac2cf2..51181db0 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -263,26 +263,26 @@ StatsTracker::StatsTracker(Executor &_executor, std::string _objectFilename,
     writeStatsLine();
 
     if (statsWriteInterval)
-      executor.timers.add(std::move(std::make_unique<Timer>(statsWriteInterval, [&]{
+      executor.timers.add(std::make_unique<Timer>(statsWriteInterval, [&]{
         writeStatsLine();
-      })));
+      }));
   }
 
   // Add timer to calculate uncovered instructions if needed by the solver
   if (updateMinDistToUncovered) {
     computeReachableUncovered();
-    executor.timers.add(std::move(std::make_unique<Timer>(time::Span{UncoveredUpdateInterval}, [&]{
+    executor.timers.add(std::make_unique<Timer>(time::Span{UncoveredUpdateInterval}, [&]{
       computeReachableUncovered();
-    })));
+    }));
   }
 
   if (OutputIStats) {
     istatsFile = executor.interpreterHandler->openOutputFile("run.istats");
     if (istatsFile) {
       if (iStatsWriteInterval)
-        executor.timers.add(std::move(std::make_unique<Timer>(iStatsWriteInterval, [&]{
+        executor.timers.add(std::make_unique<Timer>(iStatsWriteInterval, [&]{
           writeIStats();
-        })));
+        }));
     } else {
       klee_error("Unable to open instruction level stats file (run.istats).");
     }
-- 
cgit 1.4.1