From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-18542-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 740 invoked by alias); 11 May 2002 21:46:02 -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 708 invoked by uid 71); 11 May 2002 21:46:01 -0000
Date: Sat, 11 May 2002 14:46:00 -0000
Message-ID: <20020511214601.704.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Tom Tromey <tromey@redhat.com>
Subject: java/6520
Reply-To: Tom Tromey <tromey@redhat.com>
X-SW-Source: 2002-05/txt/msg00325.txt.bz2
List-Id: <gcc-prs.sourceware.org>

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

From: Tom Tromey <tromey@redhat.com>
To: gcc-gnats@gcc.gnu.org
Cc: Mark Wielaard <mark@klomp.org>
Subject: java/6520
Date: 11 May 2002 15:48:28 -0600

 I found a small example showing the problem in PR java/6520.
 The problem is that the second Float.NaN is not promoted to double.
 
 public class foo
 {
   public static void check (double x, double y)
   {
     System.out.println (x == y);
   }
 
   public static void main(String[] args)
   {
     check (Math.min (2.0f, Float.NaN), Float.NaN);
   }
 }
 
 
 Tom