From 497f616aa58722489fa0e0b9b7b50b9b9ff8da14 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 2 Feb 2017 00:58:06 +0100 Subject: [PATCH] Fix MC builds, bummer --- src/mc/mc_checkpoint.cpp | 4 ++-- src/mc/mc_state.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp index 75a0531c7b..37169199f7 100644 --- 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: - for (const auto& p : region->privatized_data()) + for (auto& p : region->privatized_data()) 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; - 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, diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp index a0f5fe9b1f..c0b68264fb 100644 --- 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) { - 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; -- 2.20.1