From 64c1d6de8688c5d53165a6eed5d2ed3613191863 Mon Sep 17 00:00:00 2001 From: daan Date: Thu, 29 Aug 2019 07:50:35 -0700 Subject: [PATCH] fix mi_likely branch that was marked as unlikely --- src/page.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/page.c b/src/page.c index f45f43e3..74c3d88e 100644 --- a/src/page.c +++ b/src/page.c @@ -180,7 +180,7 @@ void _mi_page_free_collect(mi_page_t* page, bool force) { // and the local free list if (page->local_free != NULL) { - if (mi_unlikely(page->free == NULL)) { + if (mi_likely(page->free == NULL)) { // usual case page->free = page->local_free; page->local_free = NULL;