From bd5839ec9e13090865982e533455ba7dba795960 Mon Sep 17 00:00:00 2001 From: Peter Mitsis Date: Mon, 31 Jul 2023 14:25:53 -0400 Subject: [PATCH] kernel: Fix wrap-around check in kernel/mmu.h Fixes the buffer wrap-around check so that it will not be ignored by the GNU C compiler. Signed-off-by: Peter Mitsis --- kernel/include/mmu.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/include/mmu.h b/kernel/include/mmu.h index 3768240db66..f51c0adeda0 100644 --- a/kernel/include/mmu.h +++ b/kernel/include/mmu.h @@ -204,7 +204,7 @@ static inline void z_mem_assert_virtual_region(uint8_t *addr, size_t size) "unaligned addr %p", addr); __ASSERT(size % CONFIG_MMU_PAGE_SIZE == 0U, "unaligned size %zu", size); - __ASSERT(addr + size > addr, + __ASSERT(!Z_DETECT_POINTER_OVERFLOW(addr, size), "region %p size %zu zero or wraps around", addr, size); __ASSERT(addr >= Z_VIRT_RAM_START && addr + size < Z_VIRT_RAM_END, "invalid virtual address region %p (%zu)", addr, size);