diff options
Diffstat (limited to 'lib/freebl/verified/Hacl_Chacha20.c')
-rw-r--r-- | lib/freebl/verified/Hacl_Chacha20.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/freebl/verified/Hacl_Chacha20.c b/lib/freebl/verified/Hacl_Chacha20.c index 2e552472b..9a74e9f20 100644 --- a/lib/freebl/verified/Hacl_Chacha20.c +++ b/lib/freebl/verified/Hacl_Chacha20.c @@ -95,7 +95,7 @@ rounds(uint32_t *st) static inline void chacha20_core(uint32_t *k, uint32_t *ctx, uint32_t ctr) { - memcpy(k, ctx, (uint32_t)16U * sizeof(ctx[0U])); + memcpy(k, ctx, (uint32_t)16U * sizeof(uint32_t)); uint32_t ctr_u32 = ctr; k[12U] = k[12U] + ctr_u32; rounds(k); @@ -169,9 +169,9 @@ static inline void chacha20_encrypt_last(uint32_t *ctx, uint32_t len, uint8_t *out, uint32_t incr, uint8_t *text) { uint8_t plain[64U] = { 0U }; - memcpy(plain, text, len * sizeof(text[0U])); + memcpy(plain, text, len * sizeof(uint8_t)); chacha20_encrypt_block(ctx, plain, incr, plain); - memcpy(out, plain, len * sizeof(plain[0U])); + memcpy(out, plain, len * sizeof(uint8_t)); } static inline void |