sl: use std::move() where appropriate

Suggested by Coverity. Closes: #91
kdudka · Dec 5, 2023 · baa880d · baa880d
1 parent b0679a8
commit baa880d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/sl/cont_shape.cc b/sl/cont_shape.cc
@@ -261,7 +261,7 @@ bool ImpliedShapeDetector::indexShape(SymHeap &sh, const Shape &shape)
         /* props    */ shape.props,
         /* type     */ sh.objEstimatedType(beg),
         /* size     */ sh.objSize(beg),
-        /* headPtrs */ headPtrs
+        /* headPtrs */ std::move(headPtrs)
     };
     plist_.push_back(sp);
 

diff --git a/sl/fixed_point_proxy.cc b/sl/fixed_point_proxy.cc
@@ -386,7 +386,7 @@ void plotFixedPointOfFnc(PlotData &plot, const GlobalState &fncState)
     recorder.flush(&rewriter);
 
     // plot the annotated input CFG
-    plotFncCore(plot, fncState, varByShape, capture, heapSet);
+    plotFncCore(plot, fncState, varByShape, capture, std::move(heapSet));
 
     if (cfgOrig.size() < 16) {
         // plot the original CFG-only subgraph