Improved coverage.

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

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/tadd.c b/tests/tadd.c
index 0e81f25b4..8752bc543 100644
--- a/tests/tadd.c
+++ b/tests/tadd.c
@@ -637,6 +637,16 @@ check_overflow (void)
           }
       }
 
+  mpfr_set_exp (c, mpfr_get_emax () - 512);
+  mpfr_set_prec (a, 256);
+  mpfr_clear_overflow ();
+  test_add (a, b, c, GMP_RNDU);
+  if (!mpfr_overflow_p ())
+    {
+      printf ("No overflow in check_overflow\n");
+      exit (1);
+    }
+
   mpfr_clear (a);
   mpfr_clear (b);
   mpfr_clear (c);