On 11/23/25 18:57, Maurice Hieronymus wrote:
In [1] it is pointed out that each mutex_init call should have a
corresponding call to mutex_destroy; otherwise, it is considered a bug.

IIUC, mutex_destroy() only ever does something during with CONFIG_DEBUG_MUTEXES. And there, it performs mostly sanity checks (so it's not some missed memory freeing etc).

I wonder whether we should still ad Fixes tags.

--
Cheers

David

Reply via email to