Fix bug if dest==src.

Transform some MPFR_ASSERTN to MPFR_ASSERTD.


git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@3229 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/trint.c b/tests/trint.c
index 5e2cceb5b..93a5b4e5f 100644
--- a/tests/trint.c
+++ b/tests/trint.c
@@ -134,6 +134,19 @@ special (void)
       exit (1);
     }
 
+  /* Bug found by  Mark J Watkins */
+  mpfr_set_prec (x, 84);
+  mpfr_set_str_binary (x, 
+   "0.110011010010001000000111101101001111111100101110010000000000000" \
+		       "000000000000000000000E32");
+  mpfr_round (x, x);
+  if (mpfr_cmp_str (x, "0.1100110100100010000001111011010100000000000000" \
+		    "00000000000000000000000000000000000000E32", 2, GMP_RNDN))
+    {
+      printf ("Rounding error when dest=src\n");
+      exit (1);
+    }
+
   mpfr_clear (x);
   mpfr_clear (y);
 }