Merge branch 'dev' into dev-slice

This commit is contained in:
daan 2020-09-24 16:33:22 -07:00
commit 2822e5c1f3
11 changed files with 75 additions and 59 deletions

View file

@ -448,8 +448,7 @@ void mi_free(void* p) mi_attr_noexcept
#endif
mi_block_set_next(page, block, page->local_free);
page->local_free = block;
page->used--;
if (mi_unlikely(mi_page_all_free(page))) {
if (mi_unlikely(--page->used == 0)) { // using this expression generates better code than: page->used--; if (mi_page_all_free(page))
_mi_page_retire(page);
}
}