Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : close file /proc/self/maps at the end of get_memory_map
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 22 Nov 2011 19:46:15 +0000 (20:46 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 22 Nov 2011 19:46:15 +0000 (20:46 +0100)
src/mc/memory_map.c

index ca5a15e..a954ff9 100644 (file)
@@ -22,6 +22,9 @@ memory_map_t get_memory_map(void)
 /* to be returned. */
   fp = fopen("/proc/self/maps", "r");
 
+  if(fp == NULL)
+    perror("fopen failed");
+
   xbt_assert(fp,
               "Cannot open /proc/self/maps to investigate the memory map of the process. Please report this bug.");
 
@@ -141,7 +144,10 @@ memory_map_t get_memory_map(void)
 
   }
 
-  free(line);
+  if(line)
+    free(line);
+
+  fclose(fp);
 
   return ret;
 }