From c72fe2fc57249afaddb4d49555e71934095e639c Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sat, 5 Apr 2014 19:22:13 +0200 Subject: [PATCH] model-checker : privatization_regions in snapshot may be NULL --- src/mc/mc_checkpoint.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index 92d7616849..e45567764a 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -67,11 +67,13 @@ void MC_free_snapshot(mc_snapshot_t snapshot){ xbt_dynar_free(&(snapshot->stacks)); xbt_dynar_free(&(snapshot->to_ignore)); - size_t n = snapshot->nb_processes; - for(i=0; i!=n; ++i) { - MC_region_destroy(snapshot->privatization_regions[i]); + if(snapshot->privatization_regions){ + size_t n = snapshot->nb_processes; + for(i=0; i!=n; ++i) { + MC_region_destroy(snapshot->privatization_regions[i]); + } + xbt_free(snapshot->privatization_regions); } - xbt_free(snapshot->privatization_regions); xbt_free(snapshot); } -- 2.20.1