summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2011-01-17 02:26:55 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2011-01-17 02:26:55 +0000
commita1bdfceb731a5226244c6155f14769971329ed84 (patch)
tree7a8ebf7c8fcf59156e8176d8529210a4c72ac183 /src
parent90fe4bde1559d323e3f9feeb964ea5d76d21a16b (diff)
downloadmpfr-a1bdfceb731a5226244c6155f14769971329ed84.tar.gz
[src/pow.c] Added an assertion.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7386 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src')
-rw-r--r--src/pow.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pow.c b/src/pow.c
index 903017fb9..782c36982 100644
--- a/src/pow.c
+++ b/src/pow.c
@@ -465,6 +465,7 @@ mpfr_pow (mpfr_ptr z, mpfr_srcptr x, mpfr_srcptr y, mpfr_rnd_t rnd_mode)
negative = MPFR_IS_NEG(x) && is_odd (y);
if (MPFR_IS_NEG (y))
{
+ MPFR_ASSERTD (! MPFR_IS_INF (y));
MPFR_SET_INF (z);
mpfr_set_divby0 ();
}