2022-11-21 17:32 (UTC-0500), [email protected]: > From: Sinan Kaya <[email protected]> > > In malloc_heap_free result of call to malloc_elem_free is dereferenced > here and may be null.
It may not: "malloc_elem_free()" never returns NULL by definition: it takes a valid busy element and returns a valid free element. How about annotating the function instead?
