From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-93201-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16396 invoked by alias); 22 Mar 2004 02:38:14 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 16389 invoked from network); 22 Mar 2004 02:38:12 -0000
Received: from unknown (HELO nile.gnat.com) (205.232.38.5)
  by sources.redhat.com with SMTP; 22 Mar 2004 02:38:12 -0000
Received: from localhost (localhost [127.0.0.1])
	by nile.gnat.com (Postfix) with ESMTP
	id 8E2B7F2E14; Sun, 21 Mar 2004 21:38:12 -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 26092-01-7; Sun, 21 Mar 2004 21:38:12 -0500 (EST)
Received: from gnat.com (hoosic.gnat.com [205.232.38.102])
	by nile.gnat.com (Postfix) with ESMTP
	id 2F1D6F2B5F; Sun, 21 Mar 2004 21:38:12 -0500 (EST)
Message-ID: <405E5198.4020009@gnat.com>
Date: Mon, 22 Mar 2004 08:03:00 -0000
From: Robert Dewar <dewar@gnat.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.6) Gecko/20040113
MIME-Version: 1.0
To: Zack Weinberg <zack@codesourcery.com>
Cc: "R. D. Flowers" <rd@chatta.us>, gcc@gcc.gnu.org
Subject: Re: jFP religious wars
References: <1079845736.15963.ezmlm@gcc.gnu.org> <405E0544.6020905@chatta.us> <878yhtkis8.fsf@egil.codesourcery.com>
In-Reply-To: <878yhtkis8.fsf@egil.codesourcery.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/msg01282.txt.bz2

Zack Weinberg wrote:
> "R. D. Flowers" <rd@chatta.us> writes:
> 
> 
>>would not some flag like -fp-pedantic (or however to fit in the
>>namespace) be a good idea (for both decent sets of folks: the
>>fast-and-a-little-dirty and the clean-and-a-little-slow people)?
> 
> 
> Maybe.  What would it do?

I don't think this would work. There is nothing "pedantic" in
the carefully formulated rules that make it easier/possible
to write accurate floating-point code. It is far better to
have the existing flags for -ffast-math etc, which clearly
warn that the resulting semantics may be unreliable.

The use of -pedantic to cover little used language features
or rules is one thing, the use of a flag like this to give
incorrect semantics.