myfree_file_line no longer treats freeing a NULL pointer as an error

diff --git a/io.c b/io.c
index 375cc39cb3b64892feb853db731326258c33e8a5..186eea42388179fba4358b377ce0458550745662 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));