From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 26 Aug 2014 09:29:46 +0000 (+0200)
Subject: [mc] Fix broken MC_region_destroy()
X-Git-Tag: v3_12~850^2~7
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/66168e45d86a88f36d29f5ee545a3c4cc97b887c

[mc] Fix broken MC_region_destroy()

The current implementation either segfaults or does nothing.
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index dd6eccc325..45708a72e5 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -65,7 +65,7 @@ static void local_variable_free_voidp(void *v)
 
 void MC_region_destroy(mc_mem_region_t reg)
 {
-  if (reg)
+  if (!reg)
     return;
 
   //munmap(reg->data, reg->size);