X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a308bb217e5abbd93413e23cb59776c3f6d1d8db..4ab643073d9631ac079bd1cd9048c8c2420c4994:/src/mc/mc_memory.c diff --git a/src/mc/mc_memory.c b/src/mc/mc_memory.c index a7c78edfc3..c629cf54a9 100644 --- a/src/mc/mc_memory.c +++ b/src/mc/mc_memory.c @@ -15,7 +15,7 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_memory, mc, /* Pointers to each of the heap regions to use */ void *std_heap = NULL; /* memory erased each time the MC stuff rollbacks to the beginning. Almost everything goes here */ -void *mc_heap = NULL; /* memory persistent over the MC rollbacks. Only MC stuff should go there */ +void *mc_heap = NULL; /* memory persistent over the MC rollbacks. Only MC stuff should go there */ /* Initialize the model-checker memory subsystem */ /* It creates the two heap regions: std_heap and mc_heap */ @@ -25,12 +25,15 @@ void MC_memory_init() std_heap = mmalloc_get_default_md(); xbt_assert(std_heap != NULL); -#if defined HAVE_GNU_LD && !defined MMALLOC_WANT_OVERRIDE_LEGACY +#if defined HAVE_GNU_LD && !defined MMALLOC_WANT_OVERRIDE_LEGACY /* use the system malloc for the model-checker data */ mc_heap = NULL; #else /* Create the second region a page after the first one ends + safety gap */ - mc_heap = xbt_mheap_new_options(-1, (char*)(std_heap) + STD_HEAP_SIZE + xbt_pagesize, 0); + mc_heap = + xbt_mheap_new_options(-1, + (char *) (std_heap) + STD_HEAP_SIZE + xbt_pagesize, + 0); xbt_assert(mc_heap != NULL); #endif }