From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 4 Dec 2012 15:30:28 +0000 (+0100)
Subject: model-checker : ignore simcall result in heap comparison
X-Git-Tag: v3_9_rc1~86^2~188
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/88477504b135930a51dad5af1d57194c894c091b

model-checker : ignore simcall result in heap comparison
---

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 4ed440f223..fecde40403 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -248,6 +248,10 @@ void SIMIX_process_create(smx_process_t *process,
     (*process)->data = data;
     (*process)->comms = xbt_fifo_new();
     (*process)->simcall.issuer = *process;
+
+    if(MC_is_active())
+      MC_ignore_heap(&((*process)->simcall.result), sizeof((*process)->simcall.result));
+    
     /* Process data for auto-restart */
     (*process)->auto_restart = auto_restart;
     (*process)->code = code;