A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : update state equality detection
[simgrid.git]
/
src
/
xbt
/
mmalloc
/
mfree.c
diff --git
a/src/xbt/mmalloc/mfree.c
b/src/xbt/mmalloc/mfree.c
index
a6735e0
..
ad5e05e
100644
(file)
--- a/
src/xbt/mmalloc/mfree.c
+++ b/
src/xbt/mmalloc/mfree.c
@@
-55,7
+55,7
@@
void mfree(struct mdesc *mdp, void *ptr)
mdp -> heapinfo[block].busy_block.size * BLOCKSIZE;
if(MC_is_active()){
mdp -> heapinfo[block].busy_block.size * BLOCKSIZE;
if(MC_is_active()){
- if(mdp->heapinfo[block].busy_block.ignore
== 1
)
+ if(mdp->heapinfo[block].busy_block.ignore
> 0
)
MC_remove_ignore_heap(ptr, mdp -> heapinfo[block].busy_block.busy_size);
}
MC_remove_ignore_heap(ptr, mdp -> heapinfo[block].busy_block.busy_size);
}
@@
-162,7
+162,7
@@
void mfree(struct mdesc *mdp, void *ptr)
}
if(MC_is_active()){
}
if(MC_is_active()){
- if(mdp->heapinfo[block].busy_frag.ignore[frag_nb]
== 1
)
+ if(mdp->heapinfo[block].busy_frag.ignore[frag_nb]
> 0
)
MC_remove_ignore_heap(ptr, mdp->heapinfo[block].busy_frag.frag_size[frag_nb]);
}
MC_remove_ignore_heap(ptr, mdp->heapinfo[block].busy_frag.frag_size[frag_nb]);
}