From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26475 invoked by alias); 27 Mar 2004 00:55:56 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 26320 invoked from network); 27 Mar 2004 00:55:55 -0000 Received: from unknown (HELO nile.gnat.com) (205.232.38.5) by sources.redhat.com with SMTP; 27 Mar 2004 00:55:55 -0000 Received: from localhost (localhost [127.0.0.1]) by nile.gnat.com (Postfix) with ESMTP id 9CE99F2DC8; Fri, 26 Mar 2004 19:55:55 -0500 (EST) Received: from nile.gnat.com ([127.0.0.1]) by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 13289-01-3; Fri, 26 Mar 2004 19:55:55 -0500 (EST) Received: from gnat.com (hoosic.gnat.com [205.232.38.102]) by nile.gnat.com (Postfix) with ESMTP id 38037F2DC5; Fri, 26 Mar 2004 19:55:55 -0500 (EST) Message-ID: <4064D11C.1080804@gnat.com> Date: Sat, 27 Mar 2004 07:07:00 -0000 From: Robert Dewar User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7b) Gecko/20040316 MIME-Version: 1.0 To: Joe Buck Cc: Scott Robert Ladd , gcc mailing list Subject: Re: GCC options and floating-point correctness (benchmarks) References: <200403251805.i2PI5ung011979@mururoa.inria.fr> <4063269E.8020708@coyotegulch.com> <20040325112448.A18805@synopsys.com> <406333EA.5030908@coyotegulch.com> <20040325114342.A19650@synopsys.com> In-Reply-To: <20040325114342.A19650@synopsys.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at nile.gnat.com X-SW-Source: 2004-03/txt/msg01607.txt.bz2 Joe Buck wrote: > Agreed; we should be cautious before deciding that there is a problem. > Are we certain, for example, that icc's optimization of > > (a+b)+c == a+(b+c) > > for double a, b, and c, is impermissibly aggressive? In my view, yes. >