Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix Unused statements for fiat #509

Merged
merged 2 commits into from
Jun 20, 2022
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions third_party/fiat/p384_32.h
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,11 @@ typedef signed char fiat_p384_int1;
#endif

// TODO: if we regenerate the Fiat-crypto files with only the needed functions, no need for these declarations.
OPENSSL_UNUSED static void fiat_p384_opp(uint32_t out1[6], const uint32_t arg1[6]);
OPENSSL_UNUSED static void fiat_p384_set_one(uint32_t out1[6]);
OPENSSL_UNUSED static void fiat_p384_msat(uint32_t out1[7]);
OPENSSL_UNUSED static void fiat_p384_divstep(uint32_t* out1, uint32_t out2[7], uint32_t out3[7], uint32_t out4[6], uint32_t out5[6], uint32_t arg1, const uint32_t arg2[7], const uint32_t arg3[7], const uint32_t arg4[6], const uint32_t arg5[6]);
OPENSSL_UNUSED static void fiat_p384_divstep_precomp(uint32_t out1[6]);
OPENSSL_UNUSED static void fiat_p384_opp(uint32_t out1[12], const uint32_t arg1[12]);
OPENSSL_UNUSED static void fiat_p384_set_one(uint32_t out1[12]);
OPENSSL_UNUSED static void fiat_p384_msat(uint32_t out1[13]);
OPENSSL_UNUSED static void fiat_p384_divstep(uint32_t* out1, uint32_t out2[13], uint32_t out3[13], uint32_t out4[12], uint32_t out5[12], uint32_t arg1, const uint32_t arg2[13], const uint32_t arg3[13], const uint32_t arg4[12], const uint32_t arg5[12]);
OPENSSL_UNUSED static void fiat_p384_divstep_precomp(uint32_t out1[12]);
OPENSSL_UNUSED static void fiat_p384_selectznz(uint32_t out1[12], fiat_p384_uint1 arg1, const uint32_t arg2[12], const uint32_t arg3[12]);

/*
Expand Down