36     MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_AES);  in mbedtls_cipher_validate_values()
39     MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_ARIA);  in mbedtls_cipher_validate_values()
42     MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_CAMELLIA);  in mbedtls_cipher_validate_values()
45     MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_CHACHA20);  in mbedtls_cipher_validate_values()
48     MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_DES);  in mbedtls_cipher_validate_values()
51     MBEDTLS_ASSUME(alg != PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CCM, 0));  in mbedtls_cipher_validate_values()
54     MBEDTLS_ASSUME(alg != PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, 0));  in mbedtls_cipher_validate_values()
57     MBEDTLS_ASSUME(alg != PSA_ALG_STREAM_CIPHER);  in mbedtls_cipher_validate_values()
60     MBEDTLS_ASSUME(alg != PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CHACHA20_POLY1305, 0));  in mbedtls_cipher_validate_values()
63     MBEDTLS_ASSUME(alg != PSA_ALG_CCM_STAR_NO_TAG);  in mbedtls_cipher_validate_values()
66     MBEDTLS_ASSUME(alg != PSA_ALG_CTR);  in mbedtls_cipher_validate_values()
69     MBEDTLS_ASSUME(alg != PSA_ALG_CFB);  in mbedtls_cipher_validate_values()
72     MBEDTLS_ASSUME(alg != PSA_ALG_OFB);  in mbedtls_cipher_validate_values()
75     MBEDTLS_ASSUME(alg != PSA_ALG_XTS);  in mbedtls_cipher_validate_values()
78     MBEDTLS_ASSUME(alg != PSA_ALG_ECB_NO_PADDING);  in mbedtls_cipher_validate_values()
81     MBEDTLS_ASSUME(alg != PSA_ALG_CBC_NO_PADDING);  in mbedtls_cipher_validate_values()
84     MBEDTLS_ASSUME(alg != PSA_ALG_CBC_PKCS7);  in mbedtls_cipher_validate_values()
87     MBEDTLS_ASSUME(alg != PSA_ALG_CMAC);  in mbedtls_cipher_validate_values()