diff -r 8aa2dc02d9b7 -r 6a466635eace ucx/mempool.c --- a/ucx/mempool.c Wed Oct 23 10:32:15 2024 +0200 +++ b/ucx/mempool.c Wed Oct 23 19:12:51 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 *)