NetBSD Problem Report #59262

From www@netbsd.org  Mon Apr  7 00:17:37 2025
Return-Path: <www@netbsd.org>
Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256
	 client-signature RSA-PSS (2048 bits) client-digest SHA256)
	(Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified))
	by mollari.NetBSD.org (Postfix) with ESMTPS id 05D6C1A9239
	for <gnats-bugs@gnats.NetBSD.org>; Mon,  7 Apr 2025 00:17:37 +0000 (UTC)
Message-Id: <20250407001735.5F04B1A923C@mollari.NetBSD.org>
Date: Mon,  7 Apr 2025 00:17:35 +0000 (UTC)
From: campbell+netbsd@mumble.net
Reply-To: campbell+netbsd@mumble.net
To: gnats-bugs@NetBSD.org
Subject: t_printf:pr57250_fix is faliing
X-Send-Pr-Version: www-1.0

>Number:         59262
>Category:       port-vax
>Synopsis:       t_printf:pr57250_fix is faliing
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-vax-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Apr 07 00:20:00 +0000 2025
>Originator:     Taylor R Campbell
>Release:        current
>Organization:
The VaxBSD Inprintfity
>Environment:
>Description:
Termination reason

FAILED: /tmp/build/2025.04.04.21.52.19-vax/src/tests/lib/libc/stdio/t_printf.c:285: buf != "inf\n" (170141183460469229370504062281061498880.000000<<NEWLINE UNEXPECTED>> != inf<<NEWLINE UNEXPECTED>>)
Standard error stream

*** Check failed: /tmp/build/2025.04.04.21.52.19-vax/src/tests/lib/libc/stdio/t_printf.c:283: isfinite(ld) == 0 not met
>How-To-Repeat:
cd /usr/tests/lib/libc/stdio
atf-run t_printf | atf-report
>Fix:
1. Instead of hard-coding 1e309, use snprintf(..., "1e%d", LDBL_MAX_EXP + 1), and nix the #ifndef WIDE_DOUBLE around the test since it's no longer necessary.
2. Make the isfinite check conditional on isinf(HUGE_VAL), which is false on VAX because VAX doesn't have infinities.
3. On VAX, verify that the result is DBL_MAX.

Home	PR Database Search