[src] Replaced some MPFR_ASSERTN's by MPFR_STAT_STATIC_ASSERT (from the

detection by mpfrlint). Note: the MPFR_ASSERTN's concerning relations
between the MPFR exponent type and the long type have not been replaced
because these tests may fail with the non-standard _MPFR_EXP_FORMAT = 4
on some platforms (e.g. 32-bit ones), and we still want to be able to
build MPFR in this case in order to test it; this needs to be fixed.

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

1 files changed, 1 insertions, 1 deletions

diff --git a/src/cot.c b/src/cot.c
index ec80eaaca..28736aaec 100644
--- a/src/cot.c
+++ b/src/cot.c
@@ -54,7 +54,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
     {                                                                   \
       int two2emin;                                                     \
       int signx = MPFR_SIGN(x);                                         \
-      MPFR_ASSERTN (MPFR_EMIN_MIN + MPFR_EMAX_MAX == 0);                \
+      MPFR_STAT_STATIC_ASSERT (MPFR_EMIN_MIN + MPFR_EMAX_MAX == 0);     \
       if ((two2emin = mpfr_get_exp (x) == __gmpfr_emin + 1 &&           \
            mpfr_powerof2_raw (x)))                                      \
         {                                                               \