diff -r 1ce14068ef31 -r 294d5515583a ucx/mempool.c --- a/ucx/mempool.c Wed Oct 23 10:37:43 2024 +0200 +++ b/ucx/mempool.c Wed Oct 23 17:40:45 2024 +0200 @@ -113,6 +113,7 @@ void *p, void *ptr ) { + if (!ptr) return; struct cx_mempool_s *pool = p; struct cx_mempool_memory_s *mem = (struct cx_mempool_memory_s *)