free segment map when destroy_on_exit is set

2024-12-22 22:24:13 -08:00
parent 7085b6cec3
commit 83dacd190e
3 changed files with 12 additions and 0 deletions
--- a/include/mimalloc/internal.h
+++ b/include/mimalloc/internal.h
@@ -164,6 +164,7 @@ void          _mi_arena_field_cursor_done(mi_arena_field_cursor_t* current);
 // "segment-map.c"
 void        _mi_segment_map_allocated_at(const mi_segment_t* segment);
 void        _mi_segment_map_freed_at(const mi_segment_t* segment);
+void        _mi_segment_map_destroy(void);

 // "segment.c"
 mi_page_t*  _mi_segment_page_alloc(mi_heap_t* heap, size_t block_size, size_t page_alignment, mi_segments_tld_t* tld);