This update adds upstream patches 8 and 9.
Patch 8: The computation of Bernoulli numbers is wrong when the initial precision is not large enough, so that a second iteration in the Ziv loop is needed (but done incorrectly). This can occur only for large Bernoulli numbers and can affect mpfr_gamma in particular. This bug, introduced in MPFR 4.0.0, is fixed by the bernoulli-ziv patch, which also provides a testcase (enabled only when the environment variables MPFR_CHECK_EXPENSIVE and MPFR_CHECK_LARGEMEM are set, as it takes much more time than the usual tests and needs much memory).
Patch 9: The MPFR compilation fails when the -fanalyzer option of GCC 10 and later is used (for code testing and debugging). This is due to incorrect code in src/fpif.c; this code is actually never run, unless the user provides an invalid realloc function to GMP's mp_set_memory_functions function (when a reallocation fails, the expected behavior of the allocator is to abort, not to return a null pointer). This minor issue is fixed by the fpif-dead-code patch.
sudo dnf upgrade --advisory=FEDORA-2020-8e44ac5898
Please login to add feedback.