[mc] Duplicate restoreState() as a method of SafetyChecker

[simgrid.git] / src / mc / LocationList.cpp

diff --git a/src/mc/LocationList.cpp b/src/mc/LocationList.cpp
index aabcab5..fdf5cd5 100644 (file)
--- a/src/mc/LocationList.cpp
+++ b/src/mc/LocationList.cpp
@@ -4,6 +4,15 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include <cstddef>
+#include <cstdint>
+#include <utility>
+
+#include <xbt/asserts.h>
+#include <xbt/sysdep.h>
+
+#include <libunwind.h>
+
 #include "src/mc/mc_dwarf.hpp"
 #include "src/mc/ObjectInformation.hpp"
 #include "src/mc/LocationList.hpp"
@@ -103,7 +112,7 @@ LocationList location_list(
     locations.push_back({ DwarfExpression(ops, ops+len), range });
   }
 
-  return std::move(locations);
+  return locations;
 }