From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 9 Jul 2012 12:45:37 +0000 (+0200)
Subject: model-checker : memset 0 on free block/fragment
X-Git-Tag: v3_8~291
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/00ba373715005cdd871a4afd7138bc02e710b60a?ds=sidebyside

model-checker : memset 0 on free block/fragment
---

diff --git a/src/xbt/mmalloc/mfree.c b/src/xbt/mmalloc/mfree.c
index f452a9ef1b..fae6ed0cc6 100644
--- a/src/xbt/mmalloc/mfree.c
+++ b/src/xbt/mmalloc/mfree.c
@@ -50,6 +50,8 @@ void mfree(struct mdesc *mdp, void *ptr)
       mdp -> heapinfo[block].busy_block.size * BLOCKSIZE;
     mdp -> heapstats.bytes_free +=
       mdp -> heapinfo[block].busy_block.size * BLOCKSIZE;
+
+    memset(ptr, 0, mdp -> heapinfo[block].busy_block.size * BLOCKSIZE);
     
     /* Find the free cluster previous to this one in the free list.
        Start searching at the last block referenced; this may benefit
@@ -144,6 +146,8 @@ void mfree(struct mdesc *mdp, void *ptr)
     mdp -> heapstats.chunks_free++;
     mdp -> heapstats.bytes_free += 1 << type;
 
+    memset(ptr, 0, 1 << type);
+
     
     /* Get the address of the first free fragment in this block.  */
     prev = (struct list *)