Fix 32-bit ecc_secp192r1_modp to work with the sc-* tests.

diff --git a/ChangeLog b/ChangeLog
index e6fa8d811828ed6392a5ce8f4f831d53695248d4..eac73881a44ca61fb721a560450ad079c2ac1e36 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2025-07-06  Niels Möller  <nisse@lysator.liu.se>
+
+       * 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  <nisse@lysator.liu.se>
 
        * testsuite/slh-dsa-test.c (test_main): Additional test cases,

diff --git a/ecc-secp192r1.c b/ecc-secp192r1.c
index 6097622bd2edb0a637a5f10607ebed783f9c860a..9cb29cef53d0751f14e022f1bed8046b26bcb071 100644 (file)
--- 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 */