From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-29623-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 14676 invoked by alias); 18 Feb 2003 22:16:01 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 14658 invoked by uid 71); 18 Feb 2003 22:16:00 -0000
Date: Tue, 18 Feb 2003 22:16:00 -0000
Message-ID: <20030218221600.14657.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Richard Addison-Wood <richard@wetafx.co.nz>
Subject: Re: optimization/9736: same fp comparison can lead to different results
Reply-To: Richard Addison-Wood <richard@wetafx.co.nz>
X-SW-Source: 2003-02/txt/msg00860.txt.bz2
List-Id: <gcc-prs.sourceware.org>

The following reply was made to PR optimization/9736; it has been noted by GNATS.

From: Richard Addison-Wood <richard@wetafx.co.nz>
To: ebotcazou@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
   nobody@gcc.gnu.org, richard@wetafx.co.nz, gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: optimization/9736: same fp comparison can lead to different results
Date: Wed, 19 Feb 2003 11:12:55 +1300

 If the compiler produces valid assembly code that does not
 correctly execute the input source code, that is a compiler bug.