Fix sqrt_ratio test for v = 0 case.

diff --git a/ChangeLog b/ChangeLog
index e3da5bd24920cabb112e6968b0b91f142da4fed3..dfa5e1e1388a85a48bc49625694aa93fa20663f8 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2021-11-15  Niels Möller  <nisse@lysator.liu.se>
+
+       * testsuite/ecc-sqrt-test.c (test_sqrt_ratio): Fix sqrt_ratio test
+       for v = 0, failure is expected.
+
 2021-11-13  Niels Möller  <nisse@lysator.liu.se>
 
        * testsuite/testutils.c (get_random_seed): Move function here.

diff --git a/testsuite/ecc-sqrt-test.c b/testsuite/ecc-sqrt-test.c
index 7984ed810cb536cd937e69689ac3b88826cd6869..377e1870430284144425f9f8e6460e6a0cdf6855 100644 (file)
--- a/testsuite/ecc-sqrt-test.c
+++ b/testsuite/ecc-sqrt-test.c
@@ -244,6 +244,10 @@ test_sqrt_ratio (gmp_randstate_t rands, const struct ecc_modulo *m)
          mpz_limbs_copy (up, u, m->size);
          if (!m->sqrt_ratio (m, rp, up, vp, scratch))
            {
+             if (mpz_divisible_p (v, p))
+               /* v = 0 (mod p), sqrt_ratio should fail. */
+               continue;
+
              fprintf (stderr, "m->sqrt_ratio returned failure, bit_size = %d\n"
                       "u = 0x",
                       m->bit_size);