Make check fails with Intel C compiler

[Roberto Bagnara]

With the very last version of the Intel C compiler (9.0.30)
make check fails for GMP 4.1.4.  The only test that fails
is t-mul.  Here is the crucial point:

...
make[3]: Leaving directory `/usr/local/distrib/objdir/tests/mpz'
make  check-TESTS
make[3]: Entering directory `/usr/local/distrib/objdir/tests/mpz'
PASS: t-addsub
PASS: t-cmp
ERROR: incorrect plain product in test 23
op1          = 7E000018003FFFFFFF
op2          = 7FFFFFE0000000000FFFFFFFFE0
     product  = 3EFFFFFC401FFCFFFF6000019F07FFFFCFEF800000020
ref_product  = 3EF82FFC3E9FFCFFFF6000019F07FFFFCFEF800000020
/bin/sh: line 1:   963 Aborted                 ${dir}$tst
FAIL: t-mul
PASS: t-mul_i
...
PASS: t-export
====================
1 of 53 tests failed
====================
make[3]: *** [check-TESTS] Error 1
make[3]: Leaving directory `/usr/local/distrib/objdir/tests/mpz'
make[2]: *** [check-am] Error 2
make[2]: Leaving directory `/usr/local/distrib/objdir/tests/mpz'
make[1]: *** [check-recursive] Error 1
make[1]: Leaving directory `/usr/local/distrib/objdir/tests'
make: *** [check-recursive] Error 1

What could I do to help locating the cause of the problem?
Best wishes,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it