From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12355 invoked by alias); 13 May 2003 06:10:09 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 12075 invoked by uid 48); 13 May 2003 06:10:07 -0000 Date: Tue, 13 May 2003 06:10:00 -0000 Message-ID: <20030513061007.12063.qmail@sources.redhat.com> 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 From: ebotcazou@gcc.gnu.org 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 Subject: Re: ada/8606: GNAT floating point optimization bug X-SW-Source: 2003-05/txt/msg01423.txt.bz2 List-Id: 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