Merge branch 'dev' into dev-platform

This commit is contained in:
Daan Leijen 2023-03-16 17:42:11 -07:00
commit 2e85af5bb2

View file

@ -271,7 +271,7 @@ int main(void) {
mi_free(p);
};
#if !(MI_TRACK_VALGRIND || MI_TRACK_ASAN)
CHECK_BODY("fill-freed-small") {
size_t malloc_size = MI_SMALL_SIZE_MAX / 2;
uint8_t* p = (uint8_t*)mi_malloc(malloc_size);
@ -287,6 +287,7 @@ int main(void) {
result = check_debug_fill_freed(p + sizeof(void*), malloc_size - sizeof(void*));
};
#endif
#endif
// ---------------------------------------------------
// Done
@ -309,7 +310,7 @@ bool check_zero_init(uint8_t* p, size_t size) {
#if MI_DEBUG >= 2
bool check_debug_fill_uninit(uint8_t* p, size_t size) {
#if MI_TRACK_VALGRIND
#if MI_TRACK_VALGRIND || MI_TRACK_ASAN
(void)p; (void)size;
return true; // when compiled with valgrind we don't init on purpose
#else