Test results for amd64, saber214, crypto_sign/faest128sv3

[Page version: 20261005 16:03:26]

Compiler output

KeccakSponge-times4.c: In file included from KeccakSponge-times4.h:50,
KeccakSponge-times4.c:                  from KeccakSponge-times4.c:19:
KeccakSponge-times4.c: .../supercop-data/saber214/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:24:5: error: 'uint64_t' does not name a type
KeccakSponge-times4.c:    24 |     uint64_t A[100];
KeccakSponge-times4.c:       |     ^~~~~~~~
KeccakSponge-times4.c: .../supercop-data/saber214/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:22:1: note: 'uint64_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
KeccakSponge-times4.c:    21 | #include "KeccakP-1600-times2-SnP.h"
KeccakSponge-times4.c:   +++ |+#include <cstdint>
KeccakSponge-times4.c:    22 |

Compiler output

faest_aes_192.c: faest_aes_192.c:1383:17: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_192.c:   bf_delta[0] = bf_one();
faest_aes_192.c:                 ^
faest_aes_192.c: faest_aes_192.c:36:16: note: expanded from macro 'bf_one'
faest_aes_192.c: #define bf_one bf192_one
faest_aes_192.c:                ^
faest_aes_192.c: faest_aes_192.c:1027:21: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_192.c:       b_deg[m][n] = bf_zero();
faest_aes_192.c:                     ^
faest_aes_192.c: faest_aes_192.c:35:17: note: expanded from macro 'bf_zero'
faest_aes_192.c: #define bf_zero bf192_zero
faest_aes_192.c:                 ^
faest_aes_192.c: faest_aes_192.c:246:24: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_192.c:         p2_deg[i][m] = bf_zero();
faest_aes_192.c:                        ^
faest_aes_192.c: faest_aes_192.c:35:17: note: expanded from macro 'bf_zero'
faest_aes_192.c: #define bf_zero bf192_zero
faest_aes_192.c:                 ^
faest_aes_192.c: faest_aes_192.c:251:24: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_192.c:         f2_deg[i][m] = bf_zero();
faest_aes_192.c:                        ^
faest_aes_192.c: faest_aes_192.c:35:17: note: expanded from macro 'bf_zero'
faest_aes_192.c: #define bf_zero bf192_zero
faest_aes_192.c:                 ^
faest_aes_192.c: faest_aes_192.c:311:26: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_192.c: ...
faest_aes_256.c: faest_aes_256.c:1383:17: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_256.c:   bf_delta[0] = bf_one();
faest_aes_256.c:                 ^
faest_aes_256.c: faest_aes_256.c:36:16: note: expanded from macro 'bf_one'
faest_aes_256.c: #define bf_one bf256_one
faest_aes_256.c:                ^
faest_aes_256.c: faest_aes_256.c:1027:21: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_256.c:       b_deg[m][n] = bf_zero();
faest_aes_256.c:                     ^
faest_aes_256.c: faest_aes_256.c:35:17: note: expanded from macro 'bf_zero'
faest_aes_256.c: #define bf_zero bf256_zero
faest_aes_256.c:                 ^
faest_aes_256.c: faest_aes_256.c:246:24: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_256.c:         p2_deg[i][m] = bf_zero();
faest_aes_256.c:                        ^
faest_aes_256.c: faest_aes_256.c:35:17: note: expanded from macro 'bf_zero'
faest_aes_256.c: #define bf_zero bf256_zero
faest_aes_256.c:                 ^
faest_aes_256.c: faest_aes_256.c:251:24: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_256.c:         f2_deg[i][m] = bf_zero();
faest_aes_256.c:                        ^
faest_aes_256.c: faest_aes_256.c:35:17: note: expanded from macro 'bf_zero'
faest_aes_256.c: #define bf_zero bf256_zero
faest_aes_256.c:                 ^
faest_aes_256.c: faest_aes_256.c:311:26: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
faest_aes_256.c: ...
fields.c: fields.c:431:10: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c:   *dst = bf192_from_bit(get_bit(x, 0));
fields.c:          ^
fields.c: fields.c:493:27: warning: AVX vector argument of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c:     tmp                 = bf192_shift_left_1(tmp);
fields.c:                           ^
fields.c: fields.c:520:27: warning: AVX vector argument of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c:     tmp                 = bf192_shift_left_1(tmp);
fields.c:                           ^
fields.c: fields.c:534:27: warning: AVX vector argument of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c:     tmp                 = bf192_shift_left_1(tmp);
fields.c:                           ^
fields.c: fields.c:669:10: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c:   *dst = bf256_from_bit(get_bit(x, 0));
fields.c:          ^
fields.c: fields.c:732:27: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c:     tmp                 = bf256_shift_left_1(tmp);
fields.c:                           ^
fields.c: fields.c:704:51: note: expanded from macro 'bf256_shift_left_1'
fields.c: #define bf256_shift_left_1(value) ((value << 1) | bf256_shift_right_64(value >> 63))
fields.c:                                                   ^
fields.c: fields.c:692:64: note: expanded from macro 'bf256_shift_right_64'
fields.c: #define bf256_shift_right_64(v1) __builtin_shufflevector((v1), bf256_zero(), 4, 0, 1, 2)
fields.c:                                                                ^
fields.c: fields.c:768:27: warning: AVX vector return of type 'bf256_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
fields.c: ...
universal_hashing.c: universal_hashing.c:300:13: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0 = bf192_zero();
universal_hashing.c:             ^
universal_hashing.c: universal_hashing.c:301:13: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h1 = bf192_zero();
universal_hashing.c:             ^
universal_hashing.c: universal_hashing.c:332:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0[0] = bf192_zero();
universal_hashing.c:                ^
universal_hashing.c: universal_hashing.c:333:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0[1] = bf192_zero();
universal_hashing.c:                ^
universal_hashing.c: universal_hashing.c:334:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0[2] = bf192_zero();
universal_hashing.c:                ^
universal_hashing.c: universal_hashing.c:335:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0[3] = bf192_zero();
universal_hashing.c:                ^
universal_hashing.c: universal_hashing.c:336:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0[4] = bf192_zero();
universal_hashing.c:                ^
universal_hashing.c: universal_hashing.c:337:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c:   ctx->h0[5] = bf192_zero();
universal_hashing.c:                ^
universal_hashing.c: universal_hashing.c:338:16: warning: AVX vector return of type 'bf192_t' (vector of 4 'uint64_t' values) without 'avx' enabled changes the ABI [-Wpsabi]
universal_hashing.c: ...

Namespace violations

aes.o aes128_init_round_keys T
aes.o aes192_init_round_keys T
aes.o aes256_init_round_keys T
aes.o aes_extend_witness_7 T
aes.o expand_key T
aes.o generic_aes_ecb_encrypt T
aes.o generic_aes_ecb_free T
aes.o generic_aes_ecb_new T
aes.o prg T
aes.o prg_2_lambda T
aes.o prg_4_lambda T
aes.o rijndael192_encrypt_block T
aes.o rijndael192_init_round_keys T
aes.o rijndael256_encrypt_block T
aes.o rijndael256_init_round_keys T
bavc.o bavc_clear T
bavc.o bavc_commit T
bavc.o bavc_open T
bavc.o bavc_reconstruct T
compat.o faest_timingsafe_bcmp T
faest_128s.o faest_128s_clear_private_key T
faest_128s.o faest_128s_clear_unpacked_private_key T
faest_128s.o faest_128s_keygen T
faest_128s.o faest_128s_sign T
faest_128s.o faest_128s_sign_with_randomness T
faest_128s.o faest_128s_unpack_private_key T
faest_128s.o faest_128s_unpacked_sign T
faest_128s.o faest_128s_unpacked_sign_with_randomness T
faest_128s.o faest_128s_validate_keypair T
faest_128s.o faest_128s_verify T
faest_aes_128.o aes_128_prover T
faest_aes_128.o aes_128_verifier T
faest_aes_192.o aes_192_prover T
faest_aes_192.o aes_192_verifier T
faest_aes_256.o aes_256_prover T
faest_aes_256.o aes_256_verifier T
faest_impl.o faest_sign T
faest_impl.o faest_verify T
fields.o bf128_byte_combine T
fields.o bf128_byte_combine_bits T
fields.o bf128_byte_combine_sq T
fields.o bf128_mul T
fields.o bf128_mul_64_inplace T
fields.o bf128_mul_inplace T
fields.o bf128_sq_bit T
fields.o bf128_sq_bit_inplace T
fields.o bf128_square T
fields.o bf128_sum_poly_bits T
fields.o bf192_byte_combine T
fields.o bf192_byte_combine_bits T
fields.o bf192_byte_combine_sq T
fields.o bf192_mul T
fields.o bf192_mul_64_inplace T
fields.o bf192_mul_inplace T
fields.o bf192_sq_bit T
fields.o bf192_sq_bit_inplace T
fields.o bf192_square T
fields.o bf192_sum_poly_bits T
fields.o bf256_byte_combine T
fields.o bf256_byte_combine_bits T
fields.o bf256_byte_combine_sq T
fields.o bf256_mul T
fields.o bf256_mul_64_inplace T
fields.o bf256_mul_inplace T
fields.o bf256_sq_bit T
fields.o bf256_sq_bit_inplace T
fields.o bf256_square T
fields.o bf256_sum_poly_bits T
fields.o bf2_matrix_mul_tbl T
fields.o bf2_poly_mul T
fields.o bf2_poly_reduce T
fields.o bf384_mul_128_inplace T
fields.o bf576_mul_192_inplace T
fields.o bf768_mul_256_inplace T
fields.o bf8_inv T
fields.o bf8_mul T
fields.o bf8_square T
instances.o faest_get_paramset T
owf.o owf_128 T
owf.o owf_192 T
owf.o owf_256 T
owf.o owf_em_128 T
owf.o owf_em_192 T
owf.o owf_em_256 T
random_oracle.o H0_final T
random_oracle.o H0_init T
random_oracle.o H0_update T
random_oracle.o H1_final T
random_oracle.o H1_init T
random_oracle.o H1_update T
random_oracle.o H2_0_final T
random_oracle.o H2_1_final T
random_oracle.o H2_2_final T
random_oracle.o H2_3_final T
random_oracle.o H2_copy T
random_oracle.o H2_init T
random_oracle.o H2_update T
random_oracle.o H2_update_u32_le T
random_oracle.o H3_final T
random_oracle.o H3_init T
random_oracle.o H3_update T
random_oracle.o H4 T
random_oracle.o H5 T
randomness.o rand_bytes T
universal_hashing.o leaf_hash_128 T
universal_hashing.o leaf_hash_192 T
universal_hashing.o leaf_hash_256 T
universal_hashing.o vole_hash T
universal_hashing.o vole_hash_128 T
universal_hashing.o vole_hash_192 T
universal_hashing.o vole_hash_256 T
universal_hashing.o zk_hash_128_7_finalize T
universal_hashing.o zk_hash_128_7_init T
universal_hashing.o zk_hash_128_7_raise_and_update T
universal_hashing.o zk_hash_128_7_update T
universal_hashing.o zk_hash_128_finalize T
universal_hashing.o zk_hash_128_init T
universal_hashing.o zk_hash_128_update T
universal_hashing.o zk_hash_192_7_finalize T
universal_hashing.o zk_hash_192_7_init T
universal_hashing.o zk_hash_192_7_raise_and_update T
universal_hashing.o zk_hash_192_7_update T
universal_hashing.o zk_hash_192_finalize T
universal_hashing.o zk_hash_192_init T
universal_hashing.o zk_hash_192_update T
universal_hashing.o zk_hash_256_7_finalize T
universal_hashing.o zk_hash_256_7_init T
universal_hashing.o zk_hash_256_7_raise_and_update T
universal_hashing.o zk_hash_256_7_update T
universal_hashing.o zk_hash_256_finalize T
universal_hashing.o zk_hash_256_init T
universal_hashing.o zk_hash_256_update T
utils.o alloc_pointer_array T
utils.o decode_all_chall_3 T
utils.o extract_bit_slice T
utils.o free_pointer_array T
utils.o masked_xor_u8_array T
utils.o transpose_matrix T
utils.o xor_u8_array T
utils.o xor_u8_array_inplace T
vole.o vole_commit T
vole.o vole_reconstruct T