add ubsan and tsan to pipeline

This commit is contained in:
Daan Leijen 2023-03-29 12:13:59 -07:00
parent 651ff2c68b
commit 8e6a475386
6 changed files with 21 additions and 9 deletions

View file

@ -92,10 +92,12 @@ static bool mi_page_is_valid_init(mi_page_t* page) {
}
#endif
#if !MI_TRACK_ENABLED && !MI_TSAN
mi_block_t* tfree = mi_page_thread_free(page);
mi_assert_internal(mi_page_list_is_valid(page, tfree));
//size_t tfree_count = mi_page_list_count(page, tfree);
//mi_assert_internal(tfree_count <= page->thread_freed + 1);
#endif
size_t free_count = mi_page_list_count(page, page->free) + mi_page_list_count(page, page->local_free);
mi_assert_internal(page->used + free_count == page->capacity);