Reporting Bugs on GMP 6.1.2

[Marc Glisse]

On Tue, 12 Mar 2019, 안태우 (Taewoo An) wrote:

> Hello,I send e-mail to report bugs in my machine.Error log:============================================   GNU MP 6.1.2: tests/cxx/test-suite.log============================================# TOTAL: 20# PASS:  19# SKIP:  0# XFAIL: 0# FAIL:  1# XPASS: 0# ERROR: 0.. contents:: :depth: 2FAIL: t-ops2============../../../tests/cxx/t-ops2.cc:196: GNU MP assertion failed: T(1)+std::numeric_limits<double>::denorm_min()>1FAIL t-ops2 (exit status: 134)configure: ../configure CC=icc CXX=icc --host=x86_64 --enable-fat --enable-cxx --prefix /root/gmp (I also added my configure log. )icc version: icc (ICC) 16.0.4 20160811uname -r: 3.10.0-514.el7.x86_64Interesting point is that when I do "../configure CC=icc CXX=icc --enable-fat --enable-cxx --prefix /root/gmp" it cannot work almost test case.Please check this.Sincerely,

That's pretty hard to read. But I see "ICC" and "denorm", so most likely 
your issue is that by default, ICC enables "fast" mode which does random 
bad stuff to floating point numbers. You need to pass some suitable option 
to the compiler if you care.

-- 
Marc Glisse