merge from dev-reset

This commit is contained in:
Daan Leijen 2023-03-31 21:10:25 -07:00
commit f4e006fa76
10 changed files with 241 additions and 21 deletions

View file

@ -620,6 +620,7 @@ static void mi_cdecl mi_process_done(void) {
if (mi_option_is_enabled(mi_option_destroy_on_exit)) {
_mi_heap_destroy_all(); // forcefully release all memory held by all heaps (of this thread only!)
_mi_segment_cache_free_all(&_mi_heap_main_get()->tld->os); // release all cached segments
_mi_arena_collect(true /* free arenas */,true,&_mi_heap_main_get()->tld->stats);
}
if (mi_option_is_enabled(mi_option_show_stats) || mi_option_is_enabled(mi_option_verbose)) {