[src/gamma_inc.c] Added assertions.

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

1 files changed, 2 insertions, 0 deletions

diff --git a/src/gamma_inc.c b/src/gamma_inc.c
index ad467eb23..9b0be22fe 100644
--- a/src/gamma_inc.c
+++ b/src/gamma_inc.c
@@ -87,6 +87,7 @@ mpfr_gamma_inc (mpfr_ptr y, mpfr_srcptr a, mpfr_srcptr x, mpfr_rnd_t rnd)
             {
               if (MPFR_IS_INF (a))
                 {
+                  MPFR_ASSERTD (MPFR_IS_INF (a) && MPFR_IS_FP (x));
                   if (MPFR_IS_POS (a))
                     {
                       /* gamma_inc(+Inf, x) = +Inf */
@@ -120,6 +121,7 @@ mpfr_gamma_inc (mpfr_ptr y, mpfr_srcptr a, mpfr_srcptr x, mpfr_rnd_t rnd)
                 }
               else
                 {
+                  MPFR_ASSERTD (MPFR_IS_FP (a) && MPFR_IS_INF (x));
                   if (MPFR_IS_POS (x))
                     {
                       /* x is +Inf: integral tends to zero */