improved coverage test

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

1 files changed, 2 insertions, 1 deletions

diff --git a/asin.c b/asin.c
index 5d6d59bb3..05d3d10c5 100644
--- a/asin.c
+++ b/asin.c
@@ -46,8 +46,9 @@ mpfr_asin (mpfr_ptr asin, mpfr_srcptr x, mp_rnd_t rnd_mode)
 	  MPFR_SET_NAN(asin);
 	  MPFR_RET_NAN;
 	}
-      else if (MPFR_IS_ZERO(x)) /* x = 0 */
+      else /* x = 0 */
 	{
+          MPFR_ASSERTD(MPFR_IS_ZERO(x));
 	  mpfr_set_ui (asin, 0, GMP_RNDN);
 	  MPFR_RET(0); /* exact result */
 	}