From b48e1aa846d58fbef94ddd65775af28e0d31bfae Mon Sep 17 00:00:00 2001
From: Hanno Becker <hanno.becker@arm.com>
Date: Tue, 18 Dec 2018 23:25:01 +0000
Subject: [PATCH] Add separate test for mbedtls_mpi_free() accepting NULL

---
 tests/suites/test_suite_mpi.data     | 5 ++++-
 tests/suites/test_suite_mpi.function | 8 +++++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/tests/suites/test_suite_mpi.data b/tests/suites/test_suite_mpi.data
index ff25a6fcc..8b5f97d38 100644
--- a/tests/suites/test_suite_mpi.data
+++ b/tests/suites/test_suite_mpi.data
@@ -1,4 +1,7 @@
-Parameter validation
+MPI - Valid parameters
+mpi_valid_param:
+
+MPI - Invalid parameters
 mpi_invalid_param:
 
 Arguments with no value
diff --git a/tests/suites/test_suite_mpi.function b/tests/suites/test_suite_mpi.function
index d5bb6a7b9..63e0e9715 100644
--- a/tests/suites/test_suite_mpi.function
+++ b/tests/suites/test_suite_mpi.function
@@ -50,6 +50,13 @@ int mbedtls_test_mpi_miller_rabin_determinizer( void* state,
  * 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 @@ void mpi_invalid_param( )
     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 ) );