--- Comment #12 from ebotcazou at gcc dot gnu dot org 2010-09-18 09:06
---
Not a GCC bug.
--
ebotcazou at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #11 from k-tsubota at ap dot jp dot nec dot com 2009-10-19
06:35 ---
I wonder if the bug is caused by errata of core2duo processor
because the bug was only reproduced on core2duo and pentium D.
(- not on UltraSPARC III)
Intel Core2duo processor has errata in its FPU
-
--- Comment #4 from jerome dot duquennoy at wanadoo dot fr 2008-02-15
10:11 ---
Created an attachment (id=15156)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15156action=view)
floating point tests with different FPU configuration
This archive contains code to test the behavior
--- Comment #5 from rguenth at gcc dot gnu dot org 2008-02-15 10:25 ---
So this is a problem of the oracle library not re-setting FPU state. The
general ada problem, if it exists, is probably a dup of PR323 if it expects
double to behave consistently as if it had a mantissa of 53 bits.
--- Comment #6 from jerome dot duquennoy at wanadoo dot fr 2008-02-15
11:07 ---
After testing it, the -mpc option do not help.
I agree this seems to be a problem of oracle not re-setting the FPU state.
Nevertheless, this makes ada unusable (or unreliable, which is not really
better)
--- Comment #7 from ubizjak at gmail dot com 2008-02-15 11:12 ---
(In reply to comment #6)
After testing it, the -mpc option do not help.
I agree this seems to be a problem of oracle not re-setting the FPU state.
Nevertheless, this makes ada unusable (or unreliable, which is not
--- Comment #8 from pinskia at gcc dot gnu dot org 2008-02-15 11:13 ---
Is there a reason why this is a GCC bug, from the comments I see you agree it
is a bug in oracle and valgrind.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #9 from jerome dot duquennoy at wanadoo dot fr 2008-02-15
11:55 ---
I believe the problem is enlighten by Oracle, but needs to be addressed in the
compiler :
The adalib requires a specific FPU configuration to behave normally.
Therefore, it should ensure this requirement
--- Comment #10 from ebotcazou at gcc dot gnu dot org 2008-02-15 12:23
---
The adalib requires a specific FPU configuration to behave normally.
Therefore, it should ensure this requirement is fulfilled.
Under windows, internix, EMX, lynx, netBSD and freeBSD on an i386 CPU, the
--- Comment #1 from jerome dot duquennoy at wanadoo dot fr 2008-02-14
13:38 ---
Created an attachment (id=15149)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15149action=view)
Simple source code to reproduce the bug
Compile this code and run the resulting binary on top of
--- Comment #2 from jerome dot duquennoy at wanadoo dot fr 2008-02-14
13:44 ---
A precision on the appearance of the bug :
The bug first appears when using the Oracle 10 C library (libclntsh), and can
be reproduced using the Oracle 11 library.
The bug does not appear when using Oracle
--- Comment #3 from rguenth at gcc dot gnu dot org 2008-02-14 21:47 ---
Does the oracle library by any chance mess with the floating point precision
registers of the CPU?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35194
12 matches
Mail list logo
