From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28009 invoked by alias); 16 Oct 2002 18:04:25 -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 28000 invoked from network); 16 Oct 2002 18:04:24 -0000 Received: from unknown (HELO localhost.localdomain) (66.60.148.227) by sources.redhat.com with SMTP; 16 Oct 2002 18:04:24 -0000 Received: from warlock.codesourcery.com (localhost.localdomain [127.0.0.1]) by localhost.localdomain (8.11.6/8.11.6) with ESMTP id g9GI1vW01844; Wed, 16 Oct 2002 11:01:57 -0700 Date: Wed, 16 Oct 2002 11:54:00 -0000 From: Mark Mitchell To: Robert Dewar , "gdr@integrable-solutions.net" , "steve@moshier.net" cc: "gcc@gcc.gnu.org" , rth@redhat.com Subject: Re: real.c fails floating point tests Message-ID: <312950000.1034791317@warlock.codesourcery.com> In-Reply-To: <20021016150559.2E290F28EA@nile.gnat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-SW-Source: 2002-10/txt/msg00979.txt.bz2 --On Wednesday, October 16, 2002 11:05:59 AM -0400 Robert Dewar wrote: >> That is too harsh and unfair to be a basis of a productive technical >> discussion. > > Well I must say that I am surprised that anyone would install an IEEE > arithmetic simulator without running paranoia, this seems an absolutely > essential first step in testing any such software. I don't see it as > unfair at all to point out that this was a real misstep. I agree that this is a very important problem. Here are the things that we should do. (1) Log the bugs in GNATS, as high-priority defects. Steve, can you do that? Please be sure to include the test programs, so that people can figure out how to reproduce the bugs. (2) Richard, would you take a look at the bugs, as the architect of the new code? I agree that running more tests would be a good idea in the future, but the first priority should be to fix the defects. Thanks, -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com