merge from dev-win

This commit is contained in:
daan 2019-07-10 22:57:37 -07:00
commit f844665c9f
8 changed files with 408 additions and 15 deletions

View file

@ -92,6 +92,10 @@ static void mi_segment_enqueue(mi_segment_queue_t* queue, mi_segment_t* segment)
}
}
/* -----------------------------------------------------------
Invariant checking
----------------------------------------------------------- */
#if (MI_DEBUG > 1)
static size_t mi_segment_pagesize(mi_segment_t* segment) {
return ((size_t)1 << segment->page_shift);