Add an mbedtls_calloc(SIZE_MAX/2, SIZE_MAX/2) test
It should return NULL and not a valid pointer.
Signed-off-by: Andrzej Kurek <andrzej.kurek@arm.com>
diff --git a/programs/test/selftest.c b/programs/test/selftest.c
index cc5e00e..933d06b 100644
--- a/programs/test/selftest.c
+++ b/programs/test/selftest.c
@@ -77,7 +77,10 @@
unsigned int buffer_4_size = 4097; /* Allocate more than the usual page size */
unsigned char *buffer3 = mbedtls_calloc(buffer_3_size, 1);
unsigned char *buffer4 = mbedtls_calloc(buffer_4_size, 1);
-
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Walloc-size-larger-than="
+ unsigned char *buffer5 = mbedtls_calloc(SIZE_MAX/2, SIZE_MAX/2);
+#pragma GCC diagnostic pop
if (empty1 == NULL && empty2 == NULL) {
if (verbose) {
mbedtls_printf(" CALLOC(0,1): passed (NULL)\n");
@@ -172,6 +175,13 @@
}
}
+ if (buffer5 != NULL) {
+ ++failures;
+ if (verbose) {
+ mbedtls_printf(" CALLOC(SIZE_MAX/2, SIZE_MAX/2): failed (returned a valid pointer)\n");
+ }
+ }
+
if (verbose) {
mbedtls_printf("\n");
}
@@ -181,6 +191,7 @@
mbedtls_free(buffer2);
mbedtls_free(buffer3);
mbedtls_free(buffer4);
+ mbedtls_free(buffer5);
return failures;
}
#endif /* MBEDTLS_SELF_TEST */