Fix MC builds, bummer

diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp
index 75a0531..3716919 100644 (file)
--- a/src/mc/mc_checkpoint.cpp
+++ b/src/mc/mc_checkpoint.cpp
@@ -77,7 +77,7 @@ static void restore(mc_mem_region_t region)
     break;
 
   case simgrid::mc::StorageType::Privatized:
     break;
 
   case simgrid::mc::StorageType::Privatized:

-    for (const auto& p : region->privatized_data())
+    for (auto& p : region->privatized_data())

       restore(&p);
     break;
   }
       restore(&p);
     break;
   }


@@ -149,7 +149,7 @@ static void get_memory_regions(simgrid::mc::Process* process, simgrid::mc::Snaps
   const size_t n = process->object_infos.size();
   snapshot->snapshot_regions.resize(n + 1);
   int i = 0;
   const size_t n = process->object_infos.size();
   snapshot->snapshot_regions.resize(n + 1);
   int i = 0;

-  for (const auto const& object_info : process->object_infos)
+  for (auto const& object_info : process->object_infos)

     add_region(i++, snapshot, simgrid::mc::RegionType::Data,
       object_info.get(),
       object_info->start_rw, object_info->start_rw,
     add_region(i++, snapshot, simgrid::mc::RegionType::Data,
       object_info.get(),
       object_info->start_rw, object_info->start_rw,

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index a0f5fe9..c0b6826 100644 (file)
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -225,7 +225,7 @@ static inline smx_simcall_t MC_state_get_request_for_process(
 
 smx_simcall_t MC_state_get_request(simgrid::mc::State* state)
 {
 
 smx_simcall_t MC_state_get_request(simgrid::mc::State* state)
 {

-  for (const auto& actor : mc_model_checker->process().actors()) {
+  for (auto& actor : mc_model_checker->process().actors()) {

     smx_simcall_t res = MC_state_get_request_for_process(state, actor.copy.getBuffer());
     if (res)
       return res;
     smx_simcall_t res = MC_state_get_request_for_process(state, actor.copy.getBuffer());
     if (res)
       return res;