From 45008119d0f8b696fef2e3904abe121959d24bd5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Niels=20M=C3=B6ller?= Date: Sun, 6 Jul 2025 23:09:56 +0200 Subject: [PATCH] Fix 32-bit ecc_secp192r1_modp to work with the sc-* tests. --- ChangeLog | 6 ++++++ ecc-secp192r1.c | 6 +++--- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index e6fa8d81..eac73881 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2025-07-06 Niels Möller + + * ecc-secp192r1.c (ecc_secp192r1_modp) [GMP_NUMB_BITS == 32]: Use + assert_maybe. This version of the function was overlooked in the + 2023-11-14 change. + 2025-07-03 Niels Möller * testsuite/slh-dsa-test.c (test_main): Additional test cases, diff --git a/ecc-secp192r1.c b/ecc-secp192r1.c index 6097622b..9cb29cef 100644 --- a/ecc-secp192r1.c +++ b/ecc-secp192r1.c @@ -65,7 +65,7 @@ ecc_secp192r1_modp (const struct ecc_modulo *m UNUSED, mp_limb_t *rp, mp_limb_t cy = mpn_add_n (xp + 2, xp + 2, xp + 8, 4); cy = sec_add_1 (xp + 6, xp + 6, 2, cy); cy += mpn_add_n (xp + 4, xp + 4, xp + 8, 4); - assert (cy <= 2); + assert_maybe (cy <= 2); xp[8] = cy; @@ -75,9 +75,9 @@ ecc_secp192r1_modp (const struct ecc_modulo *m UNUSED, mp_limb_t *rp, mp_limb_t cy += mpn_add_n (xp + 2, xp + 2, xp + 6, 3); cy = sec_add_1 (xp + 5, xp + 5, 1, cy); - assert (cy <= 1); + assert_maybe (cy <= 1); cy = mpn_cnd_add_n (cy, rp, xp, ecc_Bmodp, 6); - assert (cy == 0); + assert_maybe (cy == 0); } #elif GMP_NUMB_BITS == 64 /* p is 3 limbs, p = B^3 - B - 1 */ -- 2.47.2