On 5/14/22 03:06, Jonathan Wakely wrote:
On Sat, 14 May 2022 at 00:22, Dennis Clarke <dclarke@xxxxxxxxxxxxx> wrote:
Honestly, I find that hard to believe.
Me too!
.
.
.
Those folks working on gmp and mpfr really are the experts. The page
says :
https://www.mpfr.org/mpfr-current/#download
The bugs listed below have been fixed (latest update: 2021-05-17).
See https://www.mpfr.org/mpfr-current/#fixed
Thirteen bug fixes and from what I have heard directly from some good
folks the code in GMP has been subjected to an actual proof. The MPFR
code is in process. I gather those bug fixes are valuable and trivial
to apply. In fact the download_prerequisites script could be updated
to fetch the patches and just apply them.
They don't affect the code GCC uses.
In that case I will apply them.
--
Dennis Clarke
RISC-V/SPARC/PPC/ARM/CISC
UNIX and Linux spoken
GreyBeard and suspenders optional
