diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-09-15 11:05:01 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-09-15 11:05:01 +0000 |
commit | b62d5701729ccd30d120a79e34a5b2913831929e (patch) | |
tree | 771f597092aad373ec8bd0346bd4389d6832a8dc /src/init2.c | |
parent | 12e8dad1613ca02588039a3a78b5bc157bc9fc27 (diff) | |
download | mpfr-b62d5701729ccd30d120a79e34a5b2913831929e.tar.gz |
[src/init2.c] Check that __MPFR_EXP_MAX == MPFR_EXP_MAX too.
git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14121 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/init2.c')
-rw-r--r-- | src/init2.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/init2.c b/src/init2.c index 7cd0b15d3..23d554446 100644 --- a/src/init2.c +++ b/src/init2.c @@ -38,7 +38,9 @@ mpfr_init2 (mpfr_ptr x, mpfr_prec_t p) /* Check for mp_bits_per_limb (a global variable inside GMP library) */ MPFR_ASSERTN (mp_bits_per_limb == GMP_NUMB_BITS); - /* Check for correct EXP NAN, ZERO & INF in both mpfr.h and mpfr-impl.h */ + /* Check for consistent EXP MAX, NAN, ZERO & INF in + both mpfr.h and mpfr-impl.h */ + MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_MAX == MPFR_EXP_MAX ); MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_NAN == MPFR_EXP_NAN ); MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_ZERO == MPFR_EXP_ZERO ); MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_INF == MPFR_EXP_INF ); |