From 9933a5cbfedabf7925419be3dc06a319c6943a66 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 6 Jul 2012 11:07:29 +0200 Subject: [PATCH] model-checker : initialize variables --- src/xbt/mmalloc/mm_diff.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c index 8ca37d0022..6fc74ec557 100644 --- a/src/xbt/mmalloc/mm_diff.c +++ b/src/xbt/mmalloc/mm_diff.c @@ -146,7 +146,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){ i = 1; - int k; + int k = 0; int distance = 0; int total_distance = 0; @@ -154,7 +154,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){ void *address_pointed1, *address_pointed2; int block_pointed1, block_pointed2, frag_pointed1, frag_pointed2; - void *addr_block_pointed1, *addr_block_pointed2, *addr_frag_pointed1, *addr_frag_pointed2; + void *addr_block_pointed1 = NULL, *addr_block_pointed2 = NULL, *addr_frag_pointed1 = NULL, *addr_frag_pointed2 = NULL; /* Check busy blocks*/ -- 2.20.1