From fde9407d1baff5065d23b005144b324a1407edbf Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 10 Feb 2013 13:48:46 +0100 Subject: [PATCH] model-checker : fix memory leak --- src/xbt/mmalloc/mfree.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xbt/mmalloc/mfree.c b/src/xbt/mmalloc/mfree.c index d380809c3f..f3d9baa275 100644 --- a/src/xbt/mmalloc/mfree.c +++ b/src/xbt/mmalloc/mfree.c @@ -110,7 +110,6 @@ void mfree(struct mdesc *mdp, void *ptr) abort(); } mdp->heapinfo[block+it].type = -1; - mdp->heapinfo[block+it].busy_block.ignore = 0; } } @@ -168,6 +167,7 @@ void mfree(struct mdesc *mdp, void *ptr) if(mdp->heapinfo[block].busy_frag.ignore[frag_nb] == 1) MC_remove_ignore_heap(ptr, mdp->heapinfo[block].busy_frag.frag_size[frag_nb]); } + /* Set size used in the fragment to -1 */ mdp->heapinfo[block].busy_frag.frag_size[frag_nb] = -1; mdp->heapinfo[block].busy_frag.ignore[frag_nb] = 0; -- 2.20.1