From 8988039939e6ba24b38a372c577bcfb8fcb93569 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 4 Apr 2014 12:19:36 +0200 Subject: [PATCH] [mc] Fix MC_free_snapshot (NP reading NULL snapshot->privatization_regions) --- src/mc/mc_checkpoint.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index 92d7616849..44c502d8e3 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -68,10 +68,12 @@ void MC_free_snapshot(mc_snapshot_t snapshot){ 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) { + 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