From 9913a95e702c8dc35eec6c166657b5a9a069a35f Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@enst-bretagne.fr>
Date: Tue, 2 Jun 2015 21:11:30 +0200
Subject: [PATCH] [mc] Fix pointer dereference after free()

---
 src/mc/memory_map.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/memory_map.cpp b/src/mc/memory_map.cpp
index f80105cd5b..52bfa70e04 100644
--- a/src/mc/memory_map.cpp
+++ b/src/mc/memory_map.cpp
@@ -27,11 +27,11 @@ std::vector<VmMap> get_memory_map(pid_t pid)
   /* to be returned. */
   char* path = bprintf("/proc/%i/maps", (int) pid);
   FILE *fp = fopen(path, "r");
-  free(path);
   if(fp == NULL)
     perror("fopen failed");
   xbt_assert(fp,
     "Cannot open %s to investigate the memory map of the process.", path);
+  free(path);
   setbuf(fp, NULL);
 
   std::vector<VmMap> ret;
-- 
2.20.1