X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6c19ec372be0c657a9ff160fc03adfbf93e046ca..5be8607beafe19c7821ded74305548a35dfeb111:/src/mc/mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 7d07e0dda2..362e331a89 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -197,7 +197,7 @@ static void set_acceptance_pair_reached(int num, xbt_automaton_state_t as){
     int end = xbt_dynar_length(acceptance_pairs) - 1;
 
     mc_acceptance_pair_t pair_test = NULL;
-    size_t bytes_used_test;
+    size_t bytes_used_test = 0;
     int nb_processes_test;
 
     while(start <= end){