From b5bfcc5ac199bc0d2ed00a832d08fec1462b9e83 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 20 May 2019 23:29:21 +0200 Subject: [PATCH] mc: that FIXME was easy to fix :) --- src/mc/sosp/mc_checkpoint.cpp | 10 ---------- src/mc/sosp/mc_snapshot.hpp | 1 - 2 files changed, 11 deletions(-) diff --git a/src/mc/sosp/mc_checkpoint.cpp b/src/mc/sosp/mc_checkpoint.cpp index 200ee93268..99cd848898 100644 --- a/src/mc/sosp/mc_checkpoint.cpp +++ b/src/mc/sosp/mc_checkpoint.cpp @@ -223,8 +223,6 @@ static bool valid_variable(simgrid::mc::Variable* var, simgrid::mc::Frame* scope static void fill_local_variables_values(mc_stack_frame_t stack_frame, simgrid::mc::Frame* scope, int process_index, std::vector& result) { - simgrid::mc::RemoteClient* process = &mc_model_checker->process(); - if (not scope || not scope->range.contain(stack_frame->ip)) return; @@ -233,19 +231,11 @@ static void fill_local_variables_values(mc_stack_frame_t stack_frame, simgrid::m if (not valid_variable(¤t_variable, scope, (void*)stack_frame->ip)) continue; - int region_type; - // FIXME, get rid of `region_type` - if ((long)stack_frame->ip > (long)process->libsimgrid_info->start_exec) - region_type = 1; - else - region_type = 2; - s_local_variable_t new_var; new_var.subprogram = stack_frame->frame; new_var.ip = stack_frame->ip; new_var.name = current_variable.name; new_var.type = current_variable.type; - new_var.region = region_type; new_var.address = nullptr; if (current_variable.address != nullptr) diff --git a/src/mc/sosp/mc_snapshot.hpp b/src/mc/sosp/mc_snapshot.hpp index 35d07cbb36..9e63033749 100644 --- a/src/mc/sosp/mc_snapshot.hpp +++ b/src/mc/sosp/mc_snapshot.hpp @@ -74,7 +74,6 @@ struct s_local_variable_t { std::string name; simgrid::mc::Type* type; void* address; - int region; }; typedef s_local_variable_t* local_variable_t; -- 2.20.1