From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 2 Jun 2012 15:03:35 +0000 (+0200)
Subject: model-checker : free pointer
X-Git-Tag: v3_8~655
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/88168b957045f56cd9b75acd0aeb17e6f6fa8035?hp=5ff7a0f00eab7d7005451ad66f517ac9c4bfd68a

model-checker : free pointer
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 53937b36e6..a47451fca9 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -356,6 +356,7 @@ const char* get_addr_memory_map(void *addr, void* s_heap, void* r_heap){
     perror("fopen failed");
 
   if(addr == NULL){
+    free(line);
     fclose(fp);
     return "nil";
   }