From 98f48503f018605eda2b1afa1ff099a484810474 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 22 Nov 2011 20:46:15 +0100 Subject: [PATCH] model-checker : close file /proc/self/maps at the end of get_memory_map --- src/mc/memory_map.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/mc/memory_map.c b/src/mc/memory_map.c index ca5a15e257..a954ff901c 100644 --- a/src/mc/memory_map.c +++ b/src/mc/memory_map.c @@ -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; } -- 2.20.1