From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 29 Sep 2013 10:32:15 +0000 (+0200)
Subject: model-checker : fix detection of dangling pointers in system state comparison
X-Git-Tag: v3_9_90~60^2~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c128702f75d1981c4a082ae6e4630f614074ab6e

model-checker : fix detection of dangling pointers in system state comparison
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 7618035b3b..84d7db1d2e 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -1043,7 +1043,7 @@ int compare_heap_area(void *area1, void* area2, xbt_dynar_t previous, xbt_dict_t
     if(type_size != -1){
       if(heapinfo1[block1].busy_frag.frag_size[frag1] == -1 || heapinfo2[block2].busy_frag.frag_size[frag2] == -1)
         return -1;
-      if(type_size != heapinfo1[block1].busy_frag.frag_size[frag1] && type_size !=  heapinfo2[block2].busy_frag.frag_size[frag2])
+      if(type_size != heapinfo1[block1].busy_frag.frag_size[frag1] || type_size !=  heapinfo2[block2].busy_frag.frag_size[frag2])
         return -1;
     }