Skip to content

Instantly share code, notes, and snippets.

@geoff-nixon
Created August 18, 2013 12:19
Show Gist options
  • Save geoff-nixon/6261379 to your computer and use it in GitHub Desktop.
Save geoff-nixon/6261379 to your computer and use it in GitHub Desktop.
gmp 5.1.2 test suite errors: clang -O4/-flto/-emit-llvm
> make check -i
... (abridged) ...
Making check in tests
==================
All 9 tests passed
==================
Making check in mpn
===================
All 43 tests passed
===================
Making check in mpz
mpz_get_d_2exp wrong on 2**54-1
result out of range, expect 0.5 <= got < 1.0
rnd_mode = 0
data[i] = 54
z =0x3FFFFFFFFFFFFF
got =[00 00 00 00 00 00 F0 3F] 1
got exp 54
/bin/sh: line 1: 28666 Abort trap: 6 ${dir}$tst
FAIL: t-get_d_2exp
======================================================================================
1 of 62 tests failed
Please report to [email protected], see http://gmplib.org/manual/Reporting-Bugs.html
======================================================================================
make: [check-TESTS] Error 1 (ignored)
Making check in mpq
===================
All 14 tests passed
===================
Making check in mpf
mpf_get_d_2exp bad on 2**54-1
result out of range, expect 0.5 <= got < 1.0
rnd_mode = 0
data[i] = 54
f =0x0.3fffffffffffff@14
got =[00 00 00 00 00 00 F0 3F] 1
got exp 54
/bin/sh: line 1: 32613 Abort trap: 6 ${dir}$tst
FAIL: t-get_d_2exp
======================================================================================
1 of 27 tests failed
Please report to [email protected], see http://gmplib.org/manual/Reporting-Bugs.html
======================================================================================
make: [check-TESTS] Error 1 (ignored)
Making check in rand
==================
All 7 tests passed
==================
Making check in misc
==================
All 3 tests passed
==================
Making check in cxx
===================
All 20 tests passed
===================
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment