From fe9136a55b6fb08018ff5500e7de1ba8e03caf9a Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 9 Nov 2012 14:04:35 +0100 Subject: [PATCH] model-checker : initialize global variables --- src/xbt/mmalloc/mm_diff.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c index 4b4982367d..043bb8827e 100644 --- a/src/xbt/mmalloc/mm_diff.c +++ b/src/xbt/mmalloc/mm_diff.c @@ -117,9 +117,9 @@ void mmalloc_backtrace_display(void *addr){ } -void *s_heap, *heapbase1, *heapbase2; -malloc_info *heapinfo1, *heapinfo2; -size_t heaplimit, heapsize1, heapsize2; +void *s_heap = NULL, *heapbase1 = NULL, *heapbase2 = NULL; +malloc_info *heapinfo1 = NULL, *heapinfo2 = NULL; +size_t heaplimit = 0, heapsize1 = 0, heapsize2 = 0; int ignore_done = 0; @@ -547,6 +547,9 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t *stac xbt_dynar_free(&previous); ignore_done = 0; + s_heap = NULL, heapbase1 = NULL, heapbase2 = NULL; + heapinfo1 = NULL, heapinfo2 = NULL; + heaplimit = 0, heapsize1 = 0, heapsize2 = 0; return ((nb_diff1 > 0) || (nb_diff2 > 0)); -- 2.20.1