From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 19 Jun 2012 14:00:53 +0000 (+0200)
Subject: model-checker : fixme about initialization
X-Git-Tag: v3_8~563^2~13
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4e7e198815130d0019c638a6e75407ca6495382e?hp=16365fb35791e405d690c88d8c0cd0b28ed10be5

model-checker : fixme about initialization
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 0a56adc95d..4d673d3543 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -145,7 +145,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){
 
   size_t i, j;
   void *addr_block1, *addr_block2, *addr_frag1, *addr_frag2;
-  size_t frag_size = 0;         /* FIXME: arbitrary initialization */
+  size_t frag_size;
 
   i = 1;