X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/146af226580d45710f7f242223ea795570a2a738..7705e849132559bfd169a04c26296cc22f2d3743:/src/instr/instr_smpi.c

diff --git a/src/instr/instr_smpi.c b/src/instr/instr_smpi.c
index b16c5ac0d0..b794d02436 100644
--- a/src/instr/instr_smpi.c
+++ b/src/instr/instr_smpi.c
@@ -5,6 +5,7 @@
   * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "instr/instr_private.h"
+#include "mc/mc.h"
 #include <ctype.h>
 #include <wchar.h>
 
@@ -39,8 +40,7 @@ static const char *smpi_colors[] ={
     "scan",          "1 0.58 0.23",
     "scatterv",      "0.52 0 0.52",
     "scatter",       "1 0.74 0.54",
-    "computing", 	 "0 1 1",
-
+    "computing",     "0 1 1",
     NULL, NULL,
 };
 
@@ -87,6 +87,10 @@ static char *TRACE_smpi_put_key(int src, int dst, char *key, int n)
   }
   //generate the key
   static unsigned long long counter = 0;
+  
+  if(MC_is_active())
+    MC_ignore_data_bss(&counter, sizeof(counter));
+
   snprintf(key, n, "%d_%d_%llu", src, dst, counter++);
 
   //push it