From owner-freebsd-bugs  Mon Apr 10 17:50: 5 2000
Delivered-To: freebsd-bugs@freebsd.org
Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21])
	by hub.freebsd.org (Postfix) with ESMTP id E703237B845
	for <freebsd-bugs@FreeBSD.org>; Mon, 10 Apr 2000 17:50:01 -0700 (PDT)
	(envelope-from gnats@FreeBSD.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.9.3/8.9.2) id RAA27251;
	Mon, 10 Apr 2000 17:50:01 -0700 (PDT)
	(envelope-from gnats@FreeBSD.org)
Received: from rr.com (rdu25-22-143.nc.rr.com [24.25.22.143])
	by hub.freebsd.org (Postfix) with ESMTP id 4179C37B541
	for <FreeBSD-gnats-submit@freebsd.org>; Mon, 10 Apr 2000 17:49:35 -0700 (PDT)
	(envelope-from rhh@rr.com)
Received: (from rhh@localhost)
	by rr.com (8.9.3/8.9.3) id UAA13808;
	Mon, 10 Apr 2000 20:48:48 -0400 (EDT)
	(envelope-from rhh)
Message-Id: <200004110048.UAA13808@rr.com>
Date: Mon, 10 Apr 2000 20:48:48 -0400 (EDT)
From: aa8vb@ipass.net
Reply-To: aa8vb@ipass.net
To: FreeBSD-gnats-submit@freebsd.org
Cc: aa8vb@ipass.net
X-Send-Pr-Version: 3.2
Subject: i386/17914: float-to-double core dump on 3.4R
Sender: owner-freebsd-bugs@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org


>Number:         17914
>Category:       i386
>Synopsis:       float-to-double core dump on 3.4R
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    freebsd-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Mon Apr 10 17:50:00 PDT 2000
>Closed-Date:
>Last-Modified:
>Originator:     Randall Hopper
>Release:        FreeBSD 3.4-RELEASE i386
>Organization:
self
>Environment:

	Stock 3.4-RELEASE (gcc 2.7.2.3 as shipped)

>Description:

	     #include <float.h>
	
	     main()
	     {
	        float  f = FLT_MAX;
	        double d;
	        f = f * 2;
	        d = f;
	     }
	
	Delete the "d=f" line and it doesn't core.  Put it in and it does
	(floating-point exception).
	
	From this it appears there may be a bug in the float-to-double
	promotion when f is Inf (or, at least I'd expect that f is Inf).

	Note that the core dump does not occur when the Inf is generated,
        but only when it is promoted to a double.

        I first noticed this by trying to printf the value of f after f=f*2
	and got the same core-dump behavior (due to float-to-double arg
	promotion).
	
>How-To-Repeat:

	Paste the above snippet into a .c file, compile with cc -o tst
	tst.c, and execute.

>Fix:
	
	Unknown.


>Release-Note:
>Audit-Trail:
>Unformatted:


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-bugs" in the body of the message