Reporting Bugs on GMP 6.1.2

Marc Glisse marc.glisse at
Tue Mar 12 17:20:04 UTC 2019

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/ 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

More information about the gmp-bugs mailing list