Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

test failures for alternative implementation of Float.round #7917

vicuna opened this Issue Feb 11, 2019 · 0 comments


None yet
1 participant
Copy link

vicuna commented Feb 11, 2019

Original bug ID: 7917
Reporter: aha
Status: new
Resolution: open
Priority: normal
Severity: minor
Category: standard library
Monitored by: @nojb

Bug description

First failing test is

Steps to reproduce

I can only reproduce it with gcc version 7.x (and newer) and 32-bit targets, e.g. mingw:

i686-w64-mingw32-gcc --version # i686-w64-mingw32-gcc (GCC) 7.4.0
./configure --build=x86_64-unknown-cygwin --host=i686-w64-mingw32
make world.opt
cd testsuite
make one DIR=tests/lib-float

(The Appveyor CI still uses gcc 6.4.0-1 ( ) instead of the current 7.4.0-1.)

It's not windows specific. The same happens under 32-bit linux, if the alternative implementation is chosen manually:

gcc --version # gcc (Ubuntu 7.3.0-27ubuntu1~18.04) 7.3.0
sed -i 's|#define HAS_C99_FLOAT_OPS 1||g' runtime/caml/s.h
make world.opt
cd testsuite
make one DIR=tests/lib-float

@vicuna vicuna added the stdlib label Mar 14, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.