From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sourceware-bugzilla@sourceware.org>
Received: by sourceware.org (Postfix, from userid 48)
 id E72243896810; Tue, 23 Feb 2021 21:06:29 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E72243896810
From: "kretz at kde dot org" <sourceware-bugzilla@sourceware.org>
To: glibc-bugs@sourceware.org
Subject: [Bug math/27460] hypot(__DBL_DENORM_MIN__, -0.) incorrectly raises
 FE_INEXACT and FE_UNDERFLOW
Date: Tue, 23 Feb 2021 21:06:29 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: glibc
X-Bugzilla-Component: math
X-Bugzilla-Version: 2.31
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kretz at kde dot org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at sourceware dot org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-27460-131-sVPpAFHBXy@http.sourceware.org/bugzilla/>
In-Reply-To: <bug-27460-131@http.sourceware.org/bugzilla/>
References: <bug-27460-131@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: glibc-bugs@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Glibc-bugs mailing list <glibc-bugs.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/glibc-bugs>,
 <mailto:glibc-bugs-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/glibc-bugs/>
List-Help: <mailto:glibc-bugs-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/glibc-bugs>,
 <mailto:glibc-bugs-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Tue, 23 Feb 2021 21:06:30 -0000

https://sourceware.org/bugzilla/show_bug.cgi?id=3D27460

--- Comment #6 from Matthias Kretz (Vir) <kretz at kde dot org> ---
F10/9 Whether or when library functions raise an undeserved "underflow"
floating-point exception is unspecified.379) Otherwise, as implied by F.8.6,
the <math.h> functions do not raise spurious floating-point exceptions
(detectable by the user), other than the "inexact" floating-point exception.

Footnote 379) It is intended that undeserved "underflow" and "inexact"
floating-point exceptions are raised only if avoiding them would be too cos=
tly.

Additionally I believe F.10.4.3 states otherwise. I.e. hypot(denorm_min, 0)=
 is
equivalent to fabs(denorm_min) and hypot(0, denorm_min) is equivalent to
hypot(denorm_min, 0).

But I'm new to interpreting floating-point exceptions legalese. I was only
trying to verify my hypot SIMD implementation against yours and stumbled ov=
er
this inconsistency.

--=20
You are receiving this mail because:
You are on the CC list for the bug.=