[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 2adc641..5876c96 100644 (file)
--- 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 *));
 
   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;
 
 }
   return 0;
 
 }

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index e9520f6..e909cc6 100644 (file)
--- 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");
 
     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));
 
 
     MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double));