commit 4c57b20247578b17c0871040623263c044e6bc56
author Gilles Peskine <Gilles.Peskine@arm.com> Thu Oct 03 15:13:08 2019 +0200
committer Simon Butcher <simon.butcher@arm.com> Fri Mar 13 15:22:14 2020 +0000
tree 6cbcea32995accb74b745954446135fc5c53edc1
parent 5953660a6a5d065d8728b17091e60b958a843c72

mbedtls_ctr_drbg_seed: correct maximum for len

include/mbedtls/ctr_drbg.h

diff --git a/include/mbedtls/ctr_drbg.h b/include/mbedtls/ctr_drbg.h
index c06241a..f1985d7 100644
--- a/include/mbedtls/ctr_drbg.h
+++ b/include/mbedtls/ctr_drbg.h
@@ -244,7 +244,8 @@
  *                      string is empty regardless of the value of \p len.
  * \param len           The length of the personalization string.
  *                      This must be at most
- *                      #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT / 2.
+ *                      #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT
+ *                      - #MBEDTLS_CTR_DRBG_ENTROPY_LEN.
  *
  * \return              \c 0 on success.
  * \return              #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED on failure.