From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 25 Sep 2013 14:32:28 +0000 (+0200)
Subject: model-checker : init var
X-Git-Tag: v3_9_90~79
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0e52c20b7cb149f6a7a0defdfc4fe92ecd26d54b?hp=e5b36b7245c02131e17a2eb2297057bba0ac612a

model-checker : init var
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index f6612b7bf4..c75d4f51ac 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -501,7 +501,7 @@ static xbt_dynar_t MC_get_local_variables_values(void *stack_context){
   int frame_found = 0, region_type;
   void *frame_pointer_address = NULL;
   long true_ip, value;
-  int stop;
+  int stop = 0;
 
   xbt_dynar_t variables = xbt_dynar_new(sizeof(local_variable_t), local_variable_free_voidp);