comparison: ucx/mempool.c
ucx/mempool.c
- changeset 240
- 8f937a3a6d11
- parent 225
- a1a068c2c4ef
- child 241
- 661f33ef20d8
equal
deleted
inserted
replaced
| 239:1634c3ea89da | 240:8f937a3a6d11 |
|---|---|
| 170 return; | 170 return; |
| 171 } | 171 } |
| 172 } | 172 } |
| 173 fprintf(stderr, "FATAL: 0x%08" PRIxPTR" not in mpool 0x%08" PRIxPTR"\n", | 173 fprintf(stderr, "FATAL: 0x%08" PRIxPTR" not in mpool 0x%08" PRIxPTR"\n", |
| 174 (intptr_t)ptr, (intptr_t)pool); | 174 (intptr_t)ptr, (intptr_t)pool); |
| 175 exit(EXIT_FAILURE); | 175 abort(); |
| 176 } | 176 } |
| 177 | 177 |
| 178 void ucx_mempool_destroy(UcxMempool *pool) { | 178 void ucx_mempool_destroy(UcxMempool *pool) { |
| 179 ucx_memchunk *chunk; | 179 ucx_memchunk *chunk; |
| 180 for(size_t i=0 ; i<pool->ndata ; i++) { | 180 for(size_t i=0 ; i<pool->ndata ; i++) { |
