4 tests failed on gmp 5.0.3 using mingw64 gcc 4.7
rene.sugar at gmail.com
Thu Feb 9 16:53:09 CET 2012
On 2/9/2012 4:50 AM, Torbjorn Granlund wrote:
> Rene Sugar<rene.sugar at gmail.com> writes:
> $ config.guess
> gcc says k10 is not a valid value. I tried modifying config.status to compile with
> amdfam10 instead of k8 and got the same 4 errors.
> I don't understand what you mean.
> If you want us to change anything with the configure system, you need to
> clearly specify the behaviour you think is incorrect. See also the GMP
> manual, gmplib.org/manual/Reporting-Bugs.html.
> GMP seems to correctly identify your CPU as k10. If you pass "k10" to
> gcc somehow (how?), isn't that a usage issue, or perhaps a gcc issue?
I was saying that changing the code generation by altering the -mtune
and -march did not affect (improve) the test results.
Makefile:CFLAGS = -O2 -pedantic -m64 -std=gnu99 -mtune=k8 -march=k8
Makefile:CXXFLAGS = -O2 -pedantic -m64 -std=gnu99 -mtune=k8 -march=k8
It does not appear to be a compiler problem as you originally suggested.
The 4 crashes were fixed by applying the following patch:
On 2/8/2012 4:55 AM, Marc Glisse wrote:
> On Tue, 7 Feb 2012, Rene Sugar wrote:
>> I got the following 4 errors on gmp 5.0.3 when running "make check"
on a mingw64 build on Windows 7 64-bit.
> could you check if the patch I posted there:
> helps and post your results on the mailing-list? It seems possibly
> (I am not sure the patch applies cleanly to 5.0.3, but I hope it
does. Otherwise you may need to test a snapshot.)
More information about the gmp-bugs