Merge branch 'dev' into dev3

This commit is contained in:
Daan 2025-04-13 19:52:45 -07:00
commit 3bc90fbd71

View file

@ -348,7 +348,11 @@ mi_decl_nodiscard size_t mi_usable_size(const void* p) mi_attr_noexcept {
void mi_free_size(void* p, size_t size) mi_attr_noexcept {
MI_UNUSED_RELEASE(size);
#if MI_DEBUG
mi_segment_t* const segment = mi_checked_ptr_segment(p,"mi_free_size");
if mi_unlikely(segment==NULL) return;
mi_assert(p == NULL || size <= _mi_usable_size(p,"mi_free_size"));
#endif
mi_free(p);
}