From eb76c314c5e0c828488a417403ae9f410ccfce8e Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 26 Aug 2014 12:12:14 +0200 Subject: [PATCH] [mc] Fix MC_snapshot_add_region() to forward correctly its arguments As start_addr==permanent_addr for every call of MC_snapshot_add_region() there is no impact on the current behaviour. --- src/mc/mc_checkpoint.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index 45708a72e5..a5b3e20db9 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -163,7 +163,7 @@ static void MC_snapshot_add_region(mc_snapshot_t snapshot, int type, { mc_mem_region_t ref_reg = mc_model_checker->parent_snapshot ? mc_model_checker->parent_snapshot->regions[type] : NULL; - mc_mem_region_t new_reg = MC_region_new(type, start_addr, start_addr, size, ref_reg); + mc_mem_region_t new_reg = MC_region_new(type, start_addr, permanent_addr, size, ref_reg); snapshot->regions[type] = new_reg; return; } -- 2.20.1