diff options
Diffstat (limited to 'curve25519_32.c')
| -rw-r--r-- | curve25519_32.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/curve25519_32.c b/curve25519_32.c index 5c3add9e9..5e6ee6486 100644 --- a/curve25519_32.c +++ b/curve25519_32.c @@ -90,7 +90,7 @@ static void fiat_25519_subborrowx_u25(uint32_t* out1, fiat_25519_uint1* out2, fi static void fiat_25519_cmovznz_u32(uint32_t* out1, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) { fiat_25519_uint1 x1 = (!(!arg1)); uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); - uint32_t x3 = ((x2 & arg3) | (uint32_t)((uint64_t)(~x2) & arg2)); + uint32_t x3 = ((x2 & arg3) | ((~x2) & arg2)); *out1 = x3; } |