From 0e52c20b7cb149f6a7a0defdfc4fe92ecd26d54b Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 25 Sep 2013 16:32:28 +0200 Subject: [PATCH 1/1] model-checker : init var --- src/mc/mc_checkpoint.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.20.1