[Gmp-commit] /var/hg/gmp: Disable zero testing in mpz/t-remove, not to force ...

[mercurial at gmplib.org]

details:   /var/hg/gmp/rev/2efcc6af9cd7
changeset: 15003:2efcc6af9cd7
user:      Marco Bodrato <bodrato at mail.dm.unipi.it>
date:      Thu May 24 14:22:44 2012 +0200
description:
Disable zero testing in mpz/t-remove, not to force an undocumented behavior.

diffstat:

 ChangeLog            |   2 +-
 tests/mpz/t-remove.c |  19 +------------------
 2 files changed, 2 insertions(+), 19 deletions(-)

diffs (41 lines):

diff -r 58193dcd0b8e -r 2efcc6af9cd7 ChangeLog
--- a/ChangeLog	Thu May 24 11:52:14 2012 +0200
+++ b/ChangeLog	Thu May 24 14:22:44 2012 +0200
@@ -5,7 +5,7 @@
 2012-05-24 Marco Bodrato <bodrato at mail.dm.unipi.it>
 
 	* mpz/remove.c: Support negative divisor.
-	* tests/mpz/t-remove.c: Test zero dividend and negative divisor.
+	* tests/mpz/t-remove.c: Test negative divisor.
 
 2012-05-23  Torbjorn Granlund  <tege at gmplib.org>
 
diff -r 58193dcd0b8e -r 2efcc6af9cd7 tests/mpz/t-remove.c
--- a/tests/mpz/t-remove.c	Thu May 24 11:52:14 2012 +0200
+++ b/tests/mpz/t-remove.c	Thu May 24 14:22:44 2012 +0200
@@ -47,24 +47,7 @@
   if (argc == 2)
     reps = atoi (argv[1]);
 
-  mpz_inits (bs, t, refdest, dividend, NULL);
-
-  mpz_init_set_si (dest, -3);
-  mpz_init_set_ui (divisor, 3);
-  pwr = mpz_remove (dest, dividend, divisor);
-
-  /* Perhaps we shouldn't check pwr... */
-  if (pwr != 0 || mpz_cmp_ui (dest, 0) != 0)
-    {
-      fprintf (stderr, "ERROR with zero test\n");
-      fprintf (stderr, "refpower = %lu\n", 0);
-      fprintf (stderr, "   power = %lu\n", pwr);
-      fprintf (stderr, "    op1 = "); debug_mp (dividend);
-      fprintf (stderr, "    op2 = "); debug_mp (divisor);
-      fprintf (stderr, "refdest = 0\n");
-      fprintf (stderr, "   dest = "); debug_mp (dest);
-      abort ();
-    }
+  mpz_inits (bs, t, dest, refdest, dividend, divisor, NULL);
 
   for (i = 0; i < reps; i++)
     {