diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-08 23:55:33 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-08 23:55:33 +0000 |
| commit | 28da1c273265520eb017a779bbe9ccbe74819a25 (patch) | |
| tree | 88310bf6d1e2ac9938bdefd6d587f01daa966943 | |
| parent | 0c85d2ceb9821d0a0fcf6fa051a79de8ee38a18f (diff) | |
| download | mpfr-28da1c273265520eb017a779bbe9ccbe74819a25.tar.gz | |
[acinclude.m4] MPFR_CHECK_MP_LIMB_T_VS_LONG: updated comment to say
that using MPFR_ASSERTN (as the code tries to do if static assertions
are not supported, but currently fails) would be incorrect.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13946 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | acinclude.m4 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/acinclude.m4 b/acinclude.m4 index 56c04c5d4..4ae14ab84 100644 --- a/acinclude.m4 +++ b/acinclude.m4 @@ -1004,7 +1004,9 @@ dnl -std=c99 -pedantic-errors -Wno-error=overlength-strings dnl because static assertions are not supported, so that MPFR_ASSERTN dnl is used, but it is not defined by "mpfr-sassert.h". The consequence dnl is that the program fails, and MPFR_LONG_WITHIN_LIMB is not defined -dnl while it should be. Before fixing this bug, find a way to test with +dnl while it should be. Conversely, using MPFR_ASSERTN would be incorrect +dnl as we use AC_COMPILE_IFELSE here, thus it must be an assertion checked +dnl at compile time. Before fixing this bug, find a way to test with dnl MPFR_LONG_WITHIN_LIMB undefined; this is necessary for code coverage dnl and possibly to find new bugs, like in r12252: dnl ./configure --enable-assert=full \ |