From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30078 invoked by alias); 25 Mar 2004 06:03:42 -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 30067 invoked from network); 25 Mar 2004 06:03:41 -0000 Received: from unknown (HELO nile.gnat.com) (205.232.38.5) by sources.redhat.com with SMTP; 25 Mar 2004 06:03:41 -0000 Received: from localhost (localhost [127.0.0.1]) by nile.gnat.com (Postfix) with ESMTP id 57923F2B55; Thu, 25 Mar 2004 01:03:41 -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 08320-01-10; Thu, 25 Mar 2004 01:03:41 -0500 (EST) Received: from gnat.com (hoosic.gnat.com [205.232.38.102]) by nile.gnat.com (Postfix) with ESMTP id E0F7AF28EA; Thu, 25 Mar 2004 01:03:40 -0500 (EST) Message-ID: <4062763B.1030103@gnat.com> Date: Thu, 25 Mar 2004 10:22:00 -0000 From: Robert Dewar User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.6) Gecko/20040113 MIME-Version: 1.0 To: Joe Buck Cc: gcc@gcc.gnu.org Subject: Re: -ffast-math and floating point reordering References: <20040324170719.A12420@synopsys.com> In-Reply-To: <20040324170719.A12420@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/msg01445.txt.bz2 Joe Buck wrote: > Ada: the 1983 LRM seems to say that the rule is the same as for C++: > > "... for a sequence of operators of the same precedence level, the > operators are associated in textual order from left to right; > parentheses can be used to impose specific associations" First, that is the wrong document, describing a language that has been obsolete for a decade, please reference the Ada 95 document :-) Secondly, this statement is talking about the evaluation structure. The rule about reassociation is else where (and is as I stated earlier, you are allowed to reassociate the the result is in the same model interval)