make check fails

[Marc Glisse]

On Mon, 19 Jan 2015, Geert Jan BEX wrote:

> make check fails with:
> t-ops2.cc:184: GNU MP assertion failed:
> T(1)+std::numeric_limits<double>::denorm_min()>1
> /bin/sh: line 5: 45059 Aborted                 (core dumped) ${dir}$tst
> FAIL: t-ops2
> Other 19 tests pass.
>
> Configure options
> used: --prefix=/apps/leuven/thinking/2015a/software/GMP/6.0.0a-intel-2015a
> --enable-cxx
>
> Configure output, see attachment
>
> Compiler versions:
> icc (ICC) 15.0.1 20141023
> icpc (ICC) 15.0.1 20141023

Yes, Intel disables denormals by default, without changing the value of 
denorm_min to reflect this fact. Their bug. We should probably add 
something to configure to use a suitable -fp-model option for Intel's 
compiler, just in case...

-- 
Marc Glisse