From owner-freebsd-alpha  Tue Mar 26  1:10:15 2002
Delivered-To: freebsd-alpha@hub.freebsd.org
Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21])
	by hub.freebsd.org (Postfix) with ESMTP id 1632D37B41B
	for <freebsd-alpha@hub.freebsd.org>; Tue, 26 Mar 2002 01:10:01 -0800 (PST)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.11.6/8.11.6) id g2Q9A1F86546;
	Tue, 26 Mar 2002 01:10:01 -0800 (PST)
	(envelope-from gnats)
Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21])
	by hub.freebsd.org (Postfix) with ESMTP id D34DC37B417
	for <freebsd-gnats-submit@FreeBSD.org>; Tue, 26 Mar 2002 01:06:02 -0800 (PST)
Received: (from nobody@localhost)
	by freefall.freebsd.org (8.11.6/8.11.6) id g2Q962l84742;
	Tue, 26 Mar 2002 01:06:02 -0800 (PST)
	(envelope-from nobody)
Message-Id: <200203260906.g2Q962l84742@freefall.freebsd.org>
Date: Tue, 26 Mar 2002 01:06:02 -0800 (PST)
From: "Loren J. Rittle" <ljrittle@FreeBSD.org>
To: freebsd-gnats-submit@FreeBSD.org
X-Send-Pr-Version: www-1.0
Subject: alpha/36327: trap within cvt() while attempting to printf() an FP number
Sender: owner-freebsd-alpha@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-alpha.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-alpha>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-alpha>
X-Loop: FreeBSD.org


>Number:         36327
>Category:       alpha
>Synopsis:       trap within cvt() while attempting to printf() an FP number
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-alpha
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Tue Mar 26 01:10:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Loren J. Rittle
>Release:        4.2 and 5.0 on alpha hardware
>Organization:
On behalf of libjava project of GCC
>Environment:
FreeBSD clerc-milon.rsch.comm.mot.com 4.2-STABLE FreeBSD 4.2-STABLE #0: Tue Dec 19 09:52:15 CST 2000     rittle@clerc-milon.rsch.comm.mot.com:/usr/obj/usr/src/sys/CLERC-MILON  alpha
FreeBSD beast.freebsd.org 5.0-CURRENT FreeBSD 5.0-CURRENT #10: Sat Mar 16 13:34:04 PST 2002     root@beast.freebsd.org:/usr/src/sys/alpha/compile/BEAST  alpha
>Description:
The attached small test case was found by trying to bootstrap libjava
on alpha*-*-freebsd[45]* as will be released with gcc 3.1.  The
exact failure in libjava is different than the constructed small test
case but the failure point within the system routine is the same.

Also, I attempted to use the information from fpsetmask(3) to avoid
the trap without success.  Even the exact example from the man page
suggested to avoid the divide by zero trap does not work as documented.
>How-To-Repeat:
Compile this program with the system gcc without -O flags on
FreeBSD/alpha:

#include <float.h>
#include <stdio.h>

main() {
  double d = DBL_MIN;

  printf (" = %.17g;\n", d);
  printf (" = %.17g;\n", d/10);
  printf (" = %.17g;\n", (DBL_MIN/10)*10);
  printf (" = %.17g;\n", (DBL_MIN/10));
}

It will produce this output:

 = 2.2250738585072014e-308;
 = 0;
 = 2.2250738585072034e-308;
floating point exception--core dumped

ISO C might allow the test case to perform as seen.  However,
FreeBSD/alpha has a man page discussing how to avoid the trap.
Cut-and-paste the sample code to avoid a divide by zero.  It
doesn't disable the trap.  It might be OK if there was no way
to avoid the trap with this exact test case but knowing when
it is safe to call libc routines with a given FP value would
be helpful/required to allow libjava to work on FreeBSD/alpha.
>Fix:
      
>Release-Note:
>Audit-Trail:
>Unformatted:

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