From 7543e8989abe41e87f260424b3711931d680da77 Mon Sep 17 00:00:00 2001 From: Daan Date: Sun, 13 Apr 2025 19:49:47 -0700 Subject: [PATCH] validate pointer before assertion in mi_free_size (issue #754) --- src/free.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/free.c b/src/free.c index 7e529530..22284135 100644 --- a/src/free.c +++ b/src/free.c @@ -340,7 +340,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); }