From 93528c85691cb487d561423b00d1957fcb9caa2e Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 2 Apr 2015 13:39:56 +0200 Subject: [PATCH 1/1] [mc] Fix broken mc_snapshot_get_heap_end() --- src/mc/mc_snapshot.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h index 61baa7eb58..7591a310cb 100644 --- a/src/mc/mc_snapshot.h +++ b/src/mc/mc_snapshot.h @@ -303,10 +303,7 @@ const void* mc_snapshot_get_heap_end(mc_snapshot_t snapshot) { if(snapshot==NULL) xbt_die("snapshot is NULL"); - // This is &std_heap->breakval in the target process: - void** addr = &MC_process_get_heap(&mc_model_checker->process)->breakval; - // Read (std_heap->breakval) in the target process (*addr i.e. std_heap->breakval): - return MC_snapshot_read_pointer(snapshot, addr, MC_PROCESS_INDEX_ANY); + return MC_process_get_heap(&mc_model_checker->process)->breakval; } /** @brief Read memory from a snapshot region -- 2.20.1