myfree_file_line no longer treats freeing a NULL pointer as an error
authorTony Cook <tony@develop=help.com>
Mon, 5 May 2008 02:47:23 +0000 (02:47 +0000)
committerTony Cook <tony@develop=help.com>
Mon, 5 May 2008 02:47:23 +0000 (02:47 +0000)
io.c

diff --git a/io.c b/io.c
index 375cc39..186eea4 100644 (file)
--- a/io.c
+++ b/io.c
@@ -190,6 +190,9 @@ myfree_file_line(void *p, char *file, int line) {
   char  *pp = p;
   int match = 0;
   int i;
+
+  if (p == NULL)
+    return;
   
   for(i=0; i<MAXMAL; i++) if (malloc_pointers[i].ptr == p) {
     mm_log((1,"myfree_file_line: pointer %i (%s) freed at %s (%i)\n", i, malloc_pointers[i].comm, file, line));