[tests/tdiv.c] fixed test_20151023 (random number must not be 0).

(merged changeset r13329 from the trunk)

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13330 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 5 insertions, 3 deletions

diff --git a/tests/tdiv.c b/tests/tdiv.c
index 430064330..0909cc4ce 100644
--- a/tests/tdiv.c
+++ b/tests/tdiv.c
@@ -1128,7 +1128,9 @@ test_20151023 (void)
       mpfr_init2 (q0, GMP_NUMB_BITS);
 
       /* generate a random divisor of p bits */
-      mpfr_urandomb (d, RANDS);
+      do
+        mpfr_urandomb (d, RANDS);
+      while (mpfr_zero_p (d));
       /* generate a random non-zero quotient of GMP_NUMB_BITS bits */
       do
         mpfr_urandomb (q0, RANDS);
@@ -1156,8 +1158,8 @@ test_20151023 (void)
           mpfr_div (q, n, d, MPFR_RNDN);
           if (! mpfr_equal_p (q, q0))
             {
-              printf ("Error in test_20151023 for p=%ld, rnd=RNDN\n",
-                      (long) p);
+              printf ("Error in test_20151023 for p=%ld, rnd=RNDN, i=%d\n",
+                      (long) p, i);
               printf ("n="); mpfr_dump (n);
               printf ("d="); mpfr_dump (d);
               printf ("expected q0="); mpfr_dump (q0);