[src/zeta_ui.c,tests/tzeta_ui.c] Patch from Patrick Pélissier for

the division-by-zero support in mpfr_zeta_ui (and test):

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

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/tzeta_ui.c b/tests/tzeta_ui.c
index f6c72c535..bc7ac7776 100644
--- a/tests/tzeta_ui.c
+++ b/tests/tzeta_ui.c
@@ -35,6 +35,7 @@ main (int argc, char *argv[])
   int rnd;
   mpfr_t x, y, z, t;
   unsigned long n;
+  int inex;
 
   tests_start_mpfr ();
 
@@ -65,6 +66,16 @@ main (int argc, char *argv[])
       exit (1);
     }
 
+  mpfr_clear_divby0 ();
+  inex = mpfr_zeta_ui (x, 0, MPFR_RNDN);
+  MPFR_ASSERTN (inex == 0 && mpfr_cmp_si_2exp (x, -1, -1) == 0
+                && !mpfr_divby0_p ());
+
+  mpfr_clear_divby0 ();
+  inex = mpfr_zeta_ui (x, 1, MPFR_RNDN);
+  MPFR_ASSERTN (inex == 0 && MPFR_IS_INF (x) && MPFR_IS_POS (x)
+                && mpfr_divby0_p ());
+
   for (prec = MPFR_PREC_MIN; prec <= 100; prec++)
     {
       mpfr_set_prec (x, prec);