From: Gabriel Corona Date: Mon, 16 Jun 2014 13:59:34 +0000 (+0200) Subject: [mc] Group MC_ignore_global_variable("mc_diff_info"); its fiends X-Git-Tag: v3_12~956^2~1^2~42 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e240a25a0e554e068cfac550da70f309459c568d [mc] Group MC_ignore_global_variable("mc_diff_info"); its fiends --- diff --git a/src/mc/mc_diff.c b/src/mc/mc_diff.c index 2adc6415a0..5876c96b21 100644 --- a/src/mc/mc_diff.c +++ b/src/mc/mc_diff.c @@ -421,10 +421,6 @@ int init_heap_information(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t i1, memset(state->types2, 0, state->heaplimit * MAX_FRAGMENT_PER_BLOCK * sizeof(type_name *)); - if (MC_is_active()) { - MC_ignore_global_variable("mc_diff_info"); - } - return 0; } diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index e9520f680d..e909cc6042 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -295,6 +295,9 @@ void MC_init() MC_ignore_global_variable("maestro_stack_end"); MC_ignore_global_variable("smx_total_comms"); + if (MC_is_active()) { + MC_ignore_global_variable("mc_diff_info"); + } MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double));