[Bug ada/8925] Floating point code gives incorrect results

["sjs at essex dot ac dot uk" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8925



------- Additional Comments From sjs at essex dot ac dot uk  2003-07-11 15:37 -------
Subject: Re:  Floating point code gives incorrect results

At 16:15 11/07/2003, you wrote:
>PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
>
>http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8925
>
>
>
>------- Additional Comments From dhazeghi at yahoo dot com  2003-07-11 15:15 -------
>Thanks for the attachment. Your testcase won't compile for me though:
>
>[dara@draco objdir]$ gnatmake rgb_conversion_test.adb 
>gcc -c rgb_conversion_test.adb
>rgb_conversion_test.adb:6:06: file "creake.ads" not found
>rgb_conversion_test.adb:9:06: file "creake.ads" not found
>gnatmake: "rgb_conversion_test.adb" compilation error
>
>Are there more files needed to compile the testcase? Thanks,
>
>Dara

Yes, you already have them. The file floating_point_fault.txt contains all
the source code needed to reproduce the problem, but you have to gnatchop
this file to separate out the various specs and bodies. I have submitted
the files in this way because this is the way ACT work with bug reports.
They always want a single file submitted. Apologies if the gcc team works
in a different way, but I had some difficulty uploading the files to your
database.

Steve.





>------- You are receiving this mail because: -------
>You reported the bug, or are watching the reporter.