commit ae4fb671b4e55396c4538b5e7cb60e7885865891
author Minos Galanakis <minos.galanakis@arm.com> Thu Oct 20 10:47:26 2022 +0100
committer Minos Galanakis <minos.galanakis@arm.com> Tue Oct 25 15:12:38 2022 +0100
tree d0e1899815b68676f970c8e94f1e06c510d95c20
parent e1913a8da8c4d868c2e7b408d03b8f48dab8534c

mbedtls_mpi_core_get_mont_R2_unsafe: Removed NULL input checking

Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>

library/bignum_core.c

diff --git a/library/bignum_core.c b/library/bignum_core.c
index a3547bd..ad22a15 100644
--- a/library/bignum_core.c
+++ b/library/bignum_core.c
@@ -516,8 +516,6 @@
 {
     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
 
-    if ( X == NULL || N == NULL ) goto cleanup;
-
     MBEDTLS_MPI_CHK( mbedtls_mpi_lset( X, 1 ) );
     MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( X, N->n * 2 * biL ) );
     MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( X, X, N ) );

library/bignum_core.h

diff --git a/library/bignum_core.h b/library/bignum_core.h
index d46aea3..9870da4 100644
--- a/library/bignum_core.h
+++ b/library/bignum_core.h
@@ -426,8 +426,7 @@
  *                to store the value of Montgomery constant squared.
  * \return        #MBEDTLS_ERR_MPI_DIVISION_BY_ZERO if \p N modulus is zero.
  * \return        #MBEDTLS_ERR_MPI_NEGATIVE_VALUE if \p N modulus is negative.
- * \return        #MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED \p N, \p X are NULL
- *                or other operations fail.
+ * \return        #MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED if other operations fail.
  */
 int mbedtls_mpi_core_get_mont_R2_unsafe( mbedtls_mpi *X,
                                          mbedtls_mpi const *N );