tree ecd7fe83454b9fa6e23e3b4aecf0fbe5dbe74f3f
parent e7655df7bea9e594fda25183e4bde1b6b58fb867
author Gilles Peskine <Gilles.Peskine@arm.com> 1560437059 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1560437519 +0200

Make it easier to define MBEDTLS_PARAM_FAILED as assert

Introduce a new configuration option MBEDTLS_CHECK_PARAMS_ASSERT,
which is disabled by default. When this option is enabled,
MBEDTLS_PARAM_FAILED defaults to assert rather than to a call to
mbedtls_param_failed, and <assert.h> is included.

This fixes #2671 (no easy way to make MBEDTLS_PARAM_FAILED assert)
without breaking backward compatibility. With this change,
`config.pl full` runs tests with MBEDTLS_PARAM_FAILED set to assert,
so the tests will fail if a validation check fails, and programs don't
need to provide their own definition of mbedtls_param_failed().