Implementation notes: amd64, bolero, crypto_kem/limasp1822cca

Compiler output

lima.c: lima.c:147:20: warning: using floating point absolute value function 'fabs' when argument is of integer type [-Wabsolute-value]
lima.c:        rhs=11*sqrt(fabs(2*N))*3.16;              // Accepting condition for LIMA_2p
lima.c:                    ^
lima.c: lima.c:147:20: note: use function 'abs' instead
lima.c:        rhs=11*sqrt(fabs(2*N))*3.16;              // Accepting condition for LIMA_2p
lima.c:                    ^~~~
lima.c:                    abs
lima.c: lima.c:155:20: warning: using floating point absolute value function 'fabs' when argument is of integer type [-Wabsolute-value]
lima.c:        rhs=11*sqrt(fabs(4*N))*3.16;              // Accepting condition for LIMA_sp
lima.c:                    ^
lima.c: lima.c:155:20: note: use function 'abs' instead
lima.c:        rhs=11*sqrt(fabs(4*N))*3.16;              // Accepting condition for LIMA_sp
lima.c:                    ^~~~
lima.c:                    abs
lima.c: 2 warnings generated.

Compiler output

xof.c: xof.c: In function 'KDF':
xof.c: xof.c:38:10: warning: 'empty' may be used uninitialized [-Wmaybe-uninitialized]
xof.c:    38 |   return KMAC256(k,(BitLength)(k_len<<3),empty,0,(BitSequence*) key,(BitLength)(key_len<<3),D,8);
xof.c:       |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
xof.c: In file included from xof.h:11,
xof.c:                  from xof.c:1:
xof.c: .../supercop-data/bolero/amd64/include/libkeccak.a.headers/SP800-185.h:255:5: note: by argument 3 of type 'const BitSequence *' {aka 'const unsigned char *'} to 'KMAC256' declared here
xof.c:   255 | int KMAC256(const BitSequence *key, BitLength keyBitLen, const BitSequence *input, BitLength inputBitLen,
xof.c:       |     ^~~~~~~
xof.c: xof.c:35:20: note: 'empty' declared here
xof.c:    35 |   BitSequence D[1],empty[1];
xof.c:       |                    ^~~~~

Compiler output

lima.c: lima.c:91:20: warning: using floating point absolute value function 'fabs' when argument is of integer type [-Wabsolute-value]
lima.c:        rhs=11*sqrt(fabs(2*N))*3.16;              // Accepting condition for LIMA_2p
lima.c:                    ^
lima.c: lima.c:91:20: note: use function 'abs' instead
lima.c:        rhs=11*sqrt(fabs(2*N))*3.16;              // Accepting condition for LIMA_2p
lima.c:                    ^~~~
lima.c:                    abs
lima.c: lima.c:91:20: note: include the header <stdlib.h> or explicitly provide a declaration for 'abs'
lima.c: lima.c:95:20: warning: using floating point absolute value function 'fabs' when argument is of integer type [-Wabsolute-value]
lima.c:      { rhs=11*sqrt(fabs(4*N))*3.16;              // Accepting condition for LIMA_sp
lima.c:                    ^
lima.c: lima.c:95:20: note: use function 'abs' instead
lima.c:      { rhs=11*sqrt(fabs(4*N))*3.16;              // Accepting condition for LIMA_sp
lima.c:                    ^~~~
lima.c:                    abs
lima.c: lima.c:95:20: note: include the header <stdlib.h> or explicitly provide a declaration for 'abs'
lima.c: 2 warnings generated.

Namespace violations

LimaAPI.o Dec_CCA T
LimaAPI.o Dec_CPA T
LimaAPI.o Decap_CCA T
LimaAPI.o Decap_CPA T
LimaAPI.o Enc_CCA T
LimaAPI.o Enc_CPA T
LimaAPI.o Encap_CCA T
LimaAPI.o Encap_CPA T
LimaAPI.o Key_Generation T
fft.o bfft T
fft.o fft T
fft.o fft_inv T
fft.o fft_sub_1 T
fft.o fft_sub_2 T
fft.o inv_mod_q T
fft.o log_2 T
fft.o precompute_fft_data T
fft.o reverse T
lima.o DecodeCT T
lima.o DecodePK T
lima.o DecodeSK T
lima.o Decode_Val T
lima.o EncodeCT T
lima.o EncodePK T
lima.o EncodeSK T
lima.o Encode_Val T
lima.o InitLima T
lima.o RandCheck T
lima.o increment_seed T
lima.o init_done B
lima.o lima_2p_1024 D
lima.o lima_2p_2048 D
lima.o lima_dec_cca T
lima.o lima_dec_cpa T
lima.o lima_decap_cca T
lima.o lima_decap_cpa T
lima.o lima_enc_cca T
lima.o lima_enc_cpa T
lima.o lima_enc_cpa_sub T
lima.o lima_encap_cca T
lima.o lima_encap_cpa T
lima.o lima_fft_2p_1024 B
lima.o lima_fft_2p_2048 B
lima.o lima_fft_sp_1018 B
lima.o lima_fft_sp_1306 B
lima.o lima_fft_sp_1822 B
lima.o lima_fft_sp_2062 B
lima.o lima_key_gen T
lima.o lima_sp_1018 D
lima.o lima_sp_1306 D
lima.o lima_sp_1822 D
lima.o lima_sp_2062 D
lima.o precompute_noise T
lima.o precompute_noise_data T
lima.o xof5_to_modp T
modp.o MontMult T
modp.o add_mod_q T
modp.o assign_one T
modp.o exp_mod_q T
modp.o mod12521473 D
modp.o mod133121 D
modp.o mod16900097 D
modp.o mod184321 D
modp.o mod44802049 D
modp.o mod48181249 D
modp.o mul_add_mod_q T
modp.o mul_mod_q T
modp.o mul_mod_q_tag T
modp.o sub_mod_q T
modp.o to_int T
modp.o to_mod_q T
xof.o InitXOF T
xof.o KDF T
xof.o XOF T
xof.o generate_gaussian_noise T
xof.o get_random_field_element T
xof.o get_random_field_elements T

Namespace violations

LimaAPI.o Dec_CCA T
LimaAPI.o Dec_CPA T
LimaAPI.o Decap_CCA T
LimaAPI.o Decap_CPA T
LimaAPI.o Enc_CCA T
LimaAPI.o Enc_CPA T
LimaAPI.o Encap_CCA T
LimaAPI.o Encap_CPA T
LimaAPI.o Key_Generation T
fft.o bfft T
fft.o fft T
fft.o fft_inv T
fft.o fft_sub_1 T
fft.o fft_sub_2 T
fft.o inv_mod_q T
fft.o precompute_fft_data T
lima.o DecodeCT T
lima.o DecodePK T
lima.o DecodeSK T
lima.o Decode_Val T
lima.o EncodeCT T
lima.o EncodePK T
lima.o EncodeSK T
lima.o Encode_Val T
lima.o InitLima T
lima.o RandCheck T
lima.o increment_seed T
lima.o init_done B
lima.o lima_2p_1024 D
lima.o lima_2p_2048 D
lima.o lima_dec_cca T
lima.o lima_dec_cpa T
lima.o lima_decap_cca T
lima.o lima_decap_cpa T
lima.o lima_enc_cca T
lima.o lima_enc_cpa T
lima.o lima_enc_cpa_sub T
lima.o lima_encap_cca T
lima.o lima_encap_cpa T
lima.o lima_fft_2p_1024 B
lima.o lima_fft_2p_2048 B
lima.o lima_fft_sp_1018 B
lima.o lima_fft_sp_1306 B
lima.o lima_fft_sp_1822 B
lima.o lima_fft_sp_2062 B
lima.o lima_key_gen T
lima.o lima_sp_1018 D
lima.o lima_sp_1306 D
lima.o lima_sp_1822 D
lima.o lima_sp_2062 D
modp.o add_mod_q T
modp.o exp_mod_q T
modp.o mod12521473 D
modp.o mod133121 D
modp.o mod16900097 D
modp.o mod184321 D
modp.o mod44802049 D
modp.o mod48181249 D
modp.o mul_add_mod_q T
modp.o mul_mod_q T
modp.o sub_mod_q T
modp.o to_int T
modp.o to_mod_q T
xof.o InitXOF T
xof.o KDF T
xof.o XOF T
xof.o generate_gaussian_noise T
xof.o get_random_field_element T
xof.o get_random_field_elements T