diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-03-25 14:39:43 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-03-25 14:39:43 +0000 |
commit | 2d2af261682858aeeb4b0449cd86fd8906c2b004 (patch) | |
tree | 740f0a465960a92281cc3b39ad1e93504b3d3199 /src/mpfr-impl.h | |
parent | 2212c3f4126cca2d2ec1019308cc0c296692bf35 (diff) | |
download | mpfr-2d2af261682858aeeb4b0449cd86fd8906c2b004.tar.gz |
[src/mpfr-impl.h] Added an MPFR_ASSERTD in MPFR_MPZ_SIZEINBASE2
(from a patch by Patrick PĂ©lissier).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9015 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/mpfr-impl.h')
-rw-r--r-- | src/mpfr-impl.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mpfr-impl.h b/src/mpfr-impl.h index 6bed77e79..148e7c2a4 100644 --- a/src/mpfr-impl.h +++ b/src/mpfr-impl.h @@ -1189,8 +1189,9 @@ do { \ mp_size_t _size; \ MPFR_ASSERTD (mpz_sgn (z) != 0); \ _size = ABSIZ(z); \ + MPFR_ASSERTD (_size >= 1); \ count_leading_zeros (_cnt, PTR(z)[_size-1]); \ - (r) = _size * GMP_NUMB_BITS - _cnt; \ + (r) = _size * GMP_NUMB_BITS - _cnt; \ } while (0) /* MPFR_LCONV_DPTS can also be forced to 0 or 1 by the user. */ |