2022-11-21 17:32 (UTC-0500), ok...@kernel.org: > From: Sinan Kaya <ok...@kernel.org> > > 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?
