Mark some unmarked array sizes in curve25519.c.

Change-Id: I92589f5d5e89c836cff3c26739b43eb65de67836
Reviewed-on: https://boringssl-review.googlesource.com/c/34304
Commit-Queue: Adam Langley <agl@google.com>
Reviewed-by: Adam Langley <agl@google.com>
This commit is contained in:
David Benjamin 2019-01-08 23:35:04 +00:00 committed by CQ bot account: commit-bot@chromium.org
parent 823effe975
commit 5590c715e2

View File

@ -170,7 +170,7 @@ static uint32_t cmovznz32(uint32_t t, uint32_t z, uint32_t nz) {
} \ } \
} while (0) } while (0)
static void fe_frombytes_impl(uint64_t h[5], const uint8_t *s) { static void fe_frombytes_impl(uint64_t h[5], const uint8_t s[32]) {
// Ignores top bit of s. // Ignores top bit of s.
uint64_t a0 = load_8(s); uint64_t a0 = load_8(s);
uint64_t a1 = load_8(s+8); uint64_t a1 = load_8(s+8);
@ -189,7 +189,7 @@ static void fe_frombytes_impl(uint64_t h[5], const uint8_t *s) {
assert_fe(h); assert_fe(h);
} }
static void fe_frombytes(fe *h, const uint8_t *s) { static void fe_frombytes(fe *h, const uint8_t s[32]) {
fe_frombytes_impl(h->v, s); fe_frombytes_impl(h->v, s);
} }
@ -645,7 +645,7 @@ static void fe_cmov(fe_loose *f, const fe_loose *g, uint64_t b) {
} \ } \
} while (0) } while (0)
static void fe_frombytes_impl(uint32_t h[10], const uint8_t *s) { static void fe_frombytes_impl(uint32_t h[10], const uint8_t s[32]) {
// Ignores top bit of s. // Ignores top bit of s.
uint32_t a0 = load_4(s); uint32_t a0 = load_4(s);
uint32_t a1 = load_4(s+4); uint32_t a1 = load_4(s+4);
@ -668,7 +668,7 @@ static void fe_frombytes_impl(uint32_t h[10], const uint8_t *s) {
assert_fe(h); assert_fe(h);
} }
static void fe_frombytes(fe *h, const uint8_t *s) { static void fe_frombytes(fe *h, const uint8_t s[32]) {
fe_frombytes_impl(h->v, s); fe_frombytes_impl(h->v, s);
} }
@ -1584,7 +1584,7 @@ static void ge_p3_tobytes(uint8_t s[32], const ge_p3 *h) {
s[31] ^= fe_isnegative(&x) << 7; s[31] ^= fe_isnegative(&x) << 7;
} }
int x25519_ge_frombytes_vartime(ge_p3 *h, const uint8_t *s) { int x25519_ge_frombytes_vartime(ge_p3 *h, const uint8_t s[32]) {
fe u; fe u;
fe_loose v; fe_loose v;
fe v3; fe v3;