From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 4 Apr 2014 10:19:36 +0000 (+0200)
Subject: [mc] Fix MC_free_snapshot (NP reading NULL snapshot->privatization_regions)
X-Git-Tag: v3_11~159^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8988039939e6ba24b38a372c577bcfb8fcb93569

[mc] Fix MC_free_snapshot (NP reading NULL snapshot->privatization_regions)
---

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);
 }