From c128702f75d1981c4a082ae6e4630f614074ab6e Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 29 Sep 2013 12:32:15 +0200 Subject: [PATCH] model-checker : fix detection of dangling pointers in system state comparison --- src/xbt/mmalloc/mm_diff.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- 2.20.1