Merge branch 'dev3' into dev3-bin

This commit is contained in:
daanx 2024-12-22 18:09:27 -08:00
commit 1eea4309b6
7 changed files with 166 additions and 176 deletions

View file

@ -714,7 +714,7 @@ void mi_cdecl _mi_process_done(void) {
if (mi_option_is_enabled(mi_option_destroy_on_exit)) {
mi_collect(true /* force */);
_mi_heap_unsafe_destroy_all(); // forcefully release all memory held by all heaps (of this thread only!)
_mi_arena_unsafe_destroy_all();
_mi_arenas_unsafe_destroy_all();
}
if (mi_option_is_enabled(mi_option_show_stats) || mi_option_is_enabled(mi_option_verbose)) {