Re: GMP does not detect float exponent overflow while reading floating point numbers

2022-09-30 Thread Vincent Lefevre
On 2022-09-16 16:34:58 -0400, Eric Li wrote: > Thanks to https://stackoverflow.com/a/73740744, looks like the cause of > the bug it that GMP triggered a signed overflow in the following code > (from https://gmplib.org/repo/gmp/file/feb796a7f683/mpf/set_str.c#l315) [...] I've given an answer:

Please change http://mpfr.org to https://www.mpfr.org/

2022-09-30 Thread Vincent Lefevre
Hi, The GMP manual doc/gmp.texi currently has @url{http://mpfr.org}. But mpfr.org is poorly handled by Inria (no certificate and the redirection to https://www.mpfr.org/ does not always work, possibly to a temporary URL like currently, as one obtains mpfr.loria.fr). This URL should be changed to

Re: GMP does not detect float exponent overflow while reading floating point numbers

2022-09-30 Thread Paul Zimmermann
Hi Eric, > GMP version: gmp-6.2.1-2.fc36.x86_64, installed using dnf on Fedora 36. > Test program: a.c and b.cpp, see attachment. > To run a.c, use "gcc a.c -o a -lgmp && ./a". The output on my machine > is "0.1e-3215911262793760767". > To run b.cpp, use "g++ b.cpp -o b -lgmp -lgmpxx &&