* dbg_mlc.c [REDIRECT_FREE && USE_PROC_FOR_LIBRARIES] (GC_debug_free):
Add TODO item not to call GC_err_printf() when free() is called from
libpthread or libdl.
ABORT_ARG1("Invalid pointer passed to free()", ": %p", p);
}
if ((ptr_t)p - (ptr_t)base != sizeof(oh)) {
+# if defined(REDIRECT_FREE) && defined(USE_PROC_FOR_LIBRARIES)
+ /* TODO: Suppress the warning if free() caller is in libpthread */
+ /* or libdl. */
+# endif
GC_err_printf(
"GC_debug_free called on pointer %p w/o debugging info\n", p);
} else {