Assert that the key ID range for volatile keys is large enough

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2024-07-16 20:02:37 +02:00
parent 3710e72d78
commit 7a0adffd16

View File

@ -65,6 +65,10 @@ typedef struct {
static psa_global_data_t global_data;
MBEDTLS_STATIC_ASSERT(ARRAY_LENGTH(global_data.key_slots) <=
PSA_KEY_ID_VOLATILE_MAX - PSA_KEY_ID_VOLATILE_MIN + 1,
"The volatile key range is larger than the key slot array");
static uint8_t psa_get_key_slots_initialized(void)
{
uint8_t initialized;