Initialize variables.

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 947fc55..2fabb77 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -821,7 +821,7 @@ void MC_ignore_heap(void *address, size_t size){
   }
 
   unsigned int cursor = 0;
   }
 
   unsigned int cursor = 0;

-  mc_heap_ignore_region_t current_region;
+  mc_heap_ignore_region_t current_region = NULL;

   int start = 0;
   int end = xbt_dynar_length(mc_heap_comparison_ignore) - 1;
   
   int start = 0;
   int end = xbt_dynar_length(mc_heap_comparison_ignore) - 1;
   

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 7d07e0d..362e331 100644 (file)
--- 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;
     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){
     int nb_processes_test;
 
     while(start <= end){