diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/README.dev | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/README.dev b/doc/README.dev index 1b014afff..d79635cd5 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -506,10 +506,13 @@ List of macros used for checking MPFR: + HAVE_GETTIMEOFDAY: Define if the function gettimeofday() is available. + HAVE_SETLOCALE: Define if the function setlocale() is available. + MPFR_ERRDIVZERO: Define if the floating-point division by 0 fails - (e.g. because a SIGFPE signal is generated, or - because it is regarded as undefined behavior by - a sanitizer). This disables the tests involving - such operations. + in the MPFR library (e.g., because a SIGFPE signal + is generated, or because it is regarded as undefined + behavior by a sanitizer). This disables the tests + involving such operations. + Note: Tests related to NaN and infinities must not + rely on native FP division by 0, whether this macro + is defined or not. + MPFR_TESTS_FPE_DIV: Define to check whether there has been a FP exception FE_DIVBYZERO or FE_INVALID, which probably comes from 1.0 / 0.0 or 0.0 / 0.0 to |