From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Sat, 5 Apr 2014 17:22:13 +0000 (+0200)
Subject: model-checker : privatization_regions in snapshot may be NULL
X-Git-Tag: v3_11~134^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c72fe2fc57249afaddb4d49555e71934095e639c?ds=inline

model-checker : privatization_regions in snapshot may be NULL
---

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