commit b48e1aa846d58fbef94ddd65775af28e0d31bfae
author Hanno Becker <hanno.becker@arm.com> Tue Dec 18 23:25:01 2018 +0000
committer Hanno Becker <hanno.becker@arm.com> Tue Dec 18 23:25:01 2018 +0000
tree 956d7f71909b2a64fe16cb3709f11733b84fa737
parent d01ff493e54cd9179420b35fdaf726611f4dcc83

Add separate test for mbedtls_mpi_free() accepting NULL

tests/suites/test_suite_mpi.function

diff --git a/tests/suites/test_suite_mpi.function b/tests/suites/test_suite_mpi.function
index d5bb6a7..63e0e97 100644
--- a/tests/suites/test_suite_mpi.function
+++ b/tests/suites/test_suite_mpi.function
@@ -50,6 +50,13 @@
  * END_DEPENDENCIES
  */
 
+/* BEGIN_CASE */
+void mpi_valid_param( )
+{
+    TEST_VALID_PARAM( mbedtls_mpi_free( NULL ) );
+}
+/* END_CASE */
+
 /* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */
 void mpi_invalid_param( )
 {
@@ -62,7 +69,6 @@
     mbedtls_mpi_uint mpi_uint;
 
     TEST_INVALID_PARAM( mbedtls_mpi_init( NULL ) );
-    TEST_VALID_PARAM( mbedtls_mpi_free( NULL ) );
 
     TEST_INVALID_PARAM_RET( MBEDTLS_ERR_MPI_BAD_INPUT_DATA,
                             mbedtls_mpi_grow( NULL, 42 ) );