commit 27c15c7853e33cc942a43c18d0c3afe3f608b95f
author Gilles Peskine <Gilles.Peskine@arm.com> Mon Jan 20 21:17:43 2020 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> Mon Feb 03 16:21:31 2020 +0100
tree 4950812e0eaec88aa93ce3c5d172f3a3c67f6a73
parent 3e9f5228c8072ce2821d2158ba8f2e561d5e5c21

Improve comments in mpi_shrink

library/bignum.c

diff --git a/library/bignum.c b/library/bignum.c
index fdf571d..5ee34ae 100644
--- a/library/bignum.c
+++ b/library/bignum.c
@@ -157,9 +157,10 @@
     if( nblimbs > MBEDTLS_MPI_MAX_LIMBS )
         return( MBEDTLS_ERR_MPI_ALLOC_FAILED );
 
-    /* Actually resize up in this case */
+    /* Actually resize up if there are currently fewer than nblimbs limbs. */
     if( X->n <= nblimbs )
         return( mbedtls_mpi_grow( X, nblimbs ) );
+    /* Now X->n > nblimbs >= 0. */
 
     for( i = X->n - 1; i > 0; i-- )
         if( X->p[i] != 0 )