tests: kernel: mem_heap: enhance k_heap_free() API coverage

Enhance k_heap_free() API coverage by testing NULL free & double free
edge cases

Signed-off-by: Abderrahmane JARMOUNI <git@jarmouni.me>

Author: JarmouniA

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

@@ -156,9 +156,11 @@ ZTEST(k_heap_api, test_k_heap_alloc_fail)
  * @details The test validates k_heap_free()
  * API, by using below steps
  * 1. allocate the memory from the heap,
- * 2. free the allocated memory
- * 3. allocate  memory more than the first allocation.
- * the allocation in the 3rd step should succeed if k_heap_free()
+ * 2. Freeing a NULL pointer (should have no effect)
+ * 3. free the allocated memory
+ * 4. allocate  memory more than the first allocation.
+ * 5. Double-freeing a pointer (asserts, but should not crash)
+ * the allocation in the 4th step should succeed if k_heap_free()
  * works as expected
  *
  * @see k_heap_alloc, k_heap_free()
@@ -169,13 +171,22 @@ ZTEST(k_heap_api, test_k_heap_free)
 	char *p = (char *)k_heap_alloc(&k_heap_test, ALLOC_SIZE_1, timeout);
 
 	zassert_not_null(p, "k_heap_alloc operation failed");
+
+	/* Free NULL pointer: should not crash or corrupt heap */
+	k_heap_free(&k_heap_test, NULL);
+
 	k_heap_free(&k_heap_test, p);
 	p = (char *)k_heap_alloc(&k_heap_test, ALLOC_SIZE_2, timeout);
 	zassert_not_null(p, "k_heap_alloc operation failed");
 	for (int i = 0; i < ALLOC_SIZE_2; i++) {
 		p[i] = '0';
 	}
 	k_heap_free(&k_heap_test, p);
+
+#ifndef CONFIG_ASSERT
+	/* Double free: should not crash, but behavior is otherwise undefined */
+	k_heap_free(&k_heap_test, p);
+#endif
 }
 
 /**
@@ -469,6 +480,5 @@ ZTEST(k_heap_api, test_k_heap_aligned_alloc)
 	 * and proceeds, so this should not assert or necessarily fail.
 	 */
 	p = k_heap_aligned_alloc(&k_heap_test, 3, 64, K_NO_WAIT);
-	/* Accept any result; just ensure no crash or assertion. */
 	(void)p;
 }