Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007917OCamlstandard librarypublic2019-02-11 17:302019-02-12 17:34
Reporteraha 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0007917: test failures for alternative implementation of Float.round
DescriptionFirst failing test is
https://github.com/ocaml/ocaml/blob/4.08.0%2Bbeta1/testsuite/tests/lib-float/test.ml#L27 [^]
Steps To ReproduceI 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 ( https://ci.appveyor.com/project/avsm/ocaml/builds/22228711/job/v4rdbiu16yiwk2i6?fullLog=true#L26 [^] ) 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
./configure
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
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2019-02-11 17:30 aha New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker