From 3ff25443c8f7536410863e558953d286c6a97a68 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Thu, 14 Apr 2022 00:06:33 +0200 Subject: [PATCH] Separate the validation of the size macros and of the function Signed-off-by: Gilles Peskine --- tests/suites/test_suite_psa_crypto.function | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/suites/test_suite_psa_crypto.function b/tests/suites/test_suite_psa_crypto.function index b2e434b01..1ee8be8a6 100644 --- a/tests/suites/test_suite_psa_crypto.function +++ b/tests/suites/test_suite_psa_crypto.function @@ -7563,6 +7563,10 @@ void raw_key_agreement( int alg_arg, key_bits = psa_get_key_bits( &attributes ); /* Validate size macros */ + TEST_ASSERT( expected_output->len <= + PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE( our_key_type, key_bits ) ); + TEST_ASSERT( PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE( our_key_type, key_bits ) <= + PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE ); /* Good case with exact output size */ ASSERT_ALLOC( output, expected_output->len ); @@ -7572,10 +7576,6 @@ void raw_key_agreement( int alg_arg, &output_length ) ); ASSERT_COMPARE( output, output_length, expected_output->x, expected_output->len ); - TEST_ASSERT( output_length <= - PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE( our_key_type, key_bits ) ); - TEST_ASSERT( PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE( our_key_type, key_bits ) <= - PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE ); mbedtls_free( output ); output = NULL; output_length = ~0;