Bug#166255: ada/8606: GNAT floating point optimization bug
- To: 166255@bugs.debian.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, kalmquist1@hotmail.com, kenner@gcc.gnu.org, nobody@gcc.gnu.org
- Subject: Bug#166255: ada/8606: GNAT floating point optimization bug
- From: ebotcazou@gcc.gnu.org
- Date: 13 May 2003 06:10:07 -0000
- Message-id: <[🔎] 20030513061007.12063.qmail@sources.redhat.com>
- Reply-to: ebotcazou@gcc.gnu.org, 166255@bugs.debian.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, kalmquist1@hotmail.com, kenner@gcc.gnu.org, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org, 166255@bugs.debian.org
Synopsis: GNAT floating point optimization bug
Responsible-Changed-From-To: unassigned->kenner
Responsible-Changed-By: ebotcazou
Responsible-Changed-When: Tue May 13 06:10:07 2003
Responsible-Changed-Why:
Ada specialist. Richard, this bug is related to the very classical
problem of the extra-precision of the x86 FPU. The "fix" for other
languages is to pass "-ffloat-store" to the compiler. Is it valid
for GNAT too?
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8606
Reply to: