tests: kernel: mem_heap: add k_heap_aligned_alloc() coverage

add test coverage for k_heap_aligned_alloc() k_heap API

Signed-off-by: Abderrahmane JARMOUNI <[email protected]>

Author: JarmouniA

tests/kernel/mem_heap/k_heap_api/prj.conf

@@ -1,2 +1,3 @@
 CONFIG_ZTEST=y
 CONFIG_IRQ_OFFLOAD=y
+CONFIG_ZTEST_FATAL_HOOK=y

tests/kernel/mem_heap/k_heap_api/src/test_kheap_api.c

@@ -1,11 +1,13 @@
 /*
  * Copyright (c) 2020 Intel Corporation.
+ * Copyright (c) 2025 Abderrahmane JARMOUNI
  *
  * SPDX-License-Identifier: Apache-2.0
  */
 
 #include <zephyr/ztest.h>
 #include <zephyr/irq_offload.h>
+#include <zephyr/ztest_error_hook.h>
 #include "test_kheap.h"
 
 #define STACK_SIZE (512 + CONFIG_TEST_EXTRA_STACK_SIZE)
@@ -431,3 +433,38 @@ ZTEST(k_heap_api, test_k_heap_realloc_fail)
 
 	k_heap_free(&k_heap_test, p);
 }
+
+/**
+ * @brief Test k_heap_aligned_alloc() API usage and edge cases
+ *
+ * @ingroup k_heap_api_tests
+ *
+ * @details Allocates a block with a specific alignment from the heap
+ * and checks alignment, then tries oversize and invalid alignment.
+ *
+ * @see k_heap_aligned_alloc()
+ */
+ZTEST(k_heap_api, test_k_heap_aligned_alloc)
+{
+	void *p;
+
+	/* Allocate 128 bytes aligned to 16 bytes */
+	p = k_heap_aligned_alloc(&k_heap_test, 16, 128, K_NO_WAIT);
+	zassert_not_null(p, "k_heap_aligned_alloc failed");
+	zassert_true(((uintptr_t)p % 16) == 0, "Pointer not 16-byte aligned");
+	k_heap_free(&k_heap_test, p);
+
+	/* Oversize allocation returns NULL */
+	p = k_heap_aligned_alloc(&k_heap_test, 8, HEAP_SIZE * 2, K_NO_WAIT);
+	zassert_is_null(p, "k_heap_aligned_alloc with oversize should fail");
+
+	ztest_set_fault_valid(true);
+	/* invalid alignment, should assert */
+	p = k_heap_aligned_alloc(&k_heap_test, 3, 64, K_NO_WAIT);
+	(void)p;
+	/*
+	 * If calling k_heap_aligned_alloc with invalid alignment didn't result in an assert
+	 * then the API isn't working as expected, and the test shall fail.
+	 */
+	ztest_test_fail();
+}