diff --git a/mm/kasan/generic.c b/mm/kasan/generic.c index dfd62a61f53..6f4732c0f7e 100644 --- a/mm/kasan/generic.c +++ b/mm/kasan/generic.c @@ -248,7 +248,7 @@ void kasan_register(FAR void *addr, FAR size_t *size) flags = spin_lock_irqsave(&g_lock); - DEBUGASSERT(g_region_count <= CONFIG_MM_KASAN_REGIONS); + DEBUGASSERT(g_region_count < CONFIG_MM_KASAN_REGIONS); g_region[g_region_count++] = region; spin_unlock_irqrestore(&g_lock, flags); diff --git a/mm/kasan/sw_tags.c b/mm/kasan/sw_tags.c index 2df66485c17..111b8678876 100644 --- a/mm/kasan/sw_tags.c +++ b/mm/kasan/sw_tags.c @@ -197,7 +197,7 @@ void kasan_register(FAR void *addr, FAR size_t *size) flags = spin_lock_irqsave(&g_lock); - DEBUGASSERT(g_region_count <= CONFIG_MM_KASAN_REGIONS); + DEBUGASSERT(g_region_count < CONFIG_MM_KASAN_REGIONS); g_region[g_region_count++] = region; spin_unlock_irqrestore(&g_lock, flags);