diff --git a/mm/mempool/mempool.c b/mm/mempool/mempool.c index f97913e1a17..145ca4588da 100644 --- a/mm/mempool/mempool.c +++ b/mm/mempool/mempool.c @@ -304,6 +304,9 @@ void mempool_free(FAR struct mempool_s *pool, FAR void *blk) FAR struct mempool_backtrace_s *buf = (FAR struct mempool_backtrace_s *)((FAR char *)blk + pool->blocksize); + /* Check double free */ + + DEBUGASSERT(list_in_list(&buf->node)); list_delete(&buf->node); #else pool->nalloc--;