From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org  Mon May  5 16:37:06 2025
Return-Path: <owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org>
X-Original-To: sc22wg14-domo2
Delivered-To: sc22wg14-domo2@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id 6A1D5356A12; Mon,  5 May 2025 16:37:06 +0200 (CEST)
Delivered-To: sc22wg14@open-std.org
Received: from sonic316-14.consmr.mail.bf2.yahoo.com (sonic316-14.consmr.mail.bf2.yahoo.com [74.6.130.124])
	by www.open-std.org (Postfix) with ESMTP id C91CA356652
	for <sc22wg14@open-std.org>; Mon,  5 May 2025 16:37:04 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sbcglobal.net; s=s2048; t=1746455823; bh=jY3WW+EjU57BVbLHiTdgICXa5vDxWWOUDG2ze6OTK9w=; h=From:Subject:References:To:Date:From:Subject:Reply-To; b=Bjy/M22qfU9eeu68+TTldaw51dMpcZ4mScfTESlkvKzl6e6H01ak/XRgCehMdmbakULbC/buyZz363RflScHvuxJvVn+LczNSM8+rumLFAwaCuDlpfOPJMiysfZlhsWmSQnIFINqsvpXIUKnK9RY2Pv68pqugsxtbgYoRO8t8/HSPmQ300nZvQTnl+7ekZwSWoU/yuxCv57QSrSWNjka+FUJHIRvLqdRvV0uQpFV0sK31xO+AmBmpt+LhWx2nwaWNcSuoRzOG34oTU/svwMGEN8IIfEVfpqlSpKQBMh64o+IlI4S4Rtf1+gJR3X+qx4i0eBmZ4hzYrSjY3d0FnxcKw==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1746455823; bh=7Toqff4GLIQEV+VjJXw0/mUQR+KRUNNxFmnzahoEiCY=; h=X-Sonic-MF:From:Subject:To:Date:From:Subject; b=Doq6h6hpfRmHIqnSBeyo+bxq55dbDUDV/FU7P2sazMpwkMmv6wHDVkwKctxlbrD6VeSwc4yOvE0F1TFqTvDrMWNp8lh7ni8L2ICRUI/dLmaea+Kv72Blx3rXvblujBJrDhKfUF2OXvfQStFb/X5+zBKk8HOWUhSYKzMeC7AyVTI1+gA55q+b+mcGFG+QKvPJNmVT/qPow+B077Xh6vjtAGohhs6XweF2S+NJzA6ixg6WnXNcPy3z3XVt0kLxdCXII3k/C00HeAvHqaPrQa5nASS8CRem+lRTKB8SpROdnp3dJs6jZgQhNjxcXEgjgvMJJNeoN/ObqRtSoLnBxf07hQ==
X-YMail-OSG: L6MUTMYVM1kIuG4ANugenf2VD1IHQvOMSYyeEzKWYUml5qyEONT8D6N06Emki5N
 O0IxyPGup_wnT0YQ6ysHBuvbFB.FwjBXT9UPEUoXtfRKf0d8AyqI9ODMtif8cx9JOj8fczIvwOVa
 1ABMJN6GS01gIaSNDtkb4ktjhu3P6Xd3WqIeipOzT5Z4OfmFwY_DY20A.nncWBeO1Lat_bj2lm3U
 YFXNjGqdTmcfwP0RKba.H1_FeYxmOnJJ4KwSrqbIz6Ukz815scARzsOyHYVmC1A5LTISSkOHwmu2
 Z1AOYX.Wf0.OkOWtE04kCL7fZGO6VU9pW1D2t.rWi9fZKnCSd4zBgrLSjsWp8LeXPighSazM6t_r
 MaeoLmb3Azz0Jj50FIcYwNR18del9.2K1ikJfvmDFhUek0UTXKuc5q5DlCmUCG1MAbEcUvJLTR6N
 UZ0JX.vHhTF.HDmz_.ylt2cz1KfChrKWQq.XwI4d.6h1MhYYxfuLGhe_LdryDKyFM.TQBu6s10qL
 ggbLVTJpfnFZSZjWt9xlfbL2FWaGlglkJmFbemy7BhFdDAJfXZB5LSTAr97oGk_ptsIptb0W4EQw
 O2Yjjvh3_M80c8EYDU6eaooJJAb.rLz4eaOSA4zG0wJ97mjuIX4EpCuS2HpqVpgwiiiWo0qoq.ci
 6ZtPSOSSa4HCi1WxyysdzEvxf_COkxD17BMOurJOqwYyV64AjXJAUqxIV7fEDEvCqgRD9kEX1IZw
 l31yQkrC6SC1r8gQeZEDCqHtt3jfa1JwU.qwqFQzDxuj1k0lEQv2ExF.fo5p7ulsM76pRop4cZiQ
 La0dYlTMDsmWLKKuxsv2BKdA3fNQIXeAgslshMbReRkyfxPFm7KWugLXNNBEWjRqOXBasgnRwUET
 UjqUOS0IeUTGnV0giwuWsWFqVSYopTkxOkwGYxmmDtIHfbR8.Z9MZG7nxskW2tzP_BG_vDdc1_t3
 9IxBZiLPvknqpo5Vm1S0jn543s1AnTeqhRbA7VgVuLpWzauRrojma6hrd3SJCndvTNoni.Ry4bVC
 uPiRZyM6eM8mlpeG89GzMxzCmAlpWhBFS3TXNOSwJhiQmW.YOPIphZwrsqe801xSHXpMYW1zxvUr
 X5XaMtfA2VF3rgHyV3.2EDDENuVRzudW1uCokr6.U57sqWnd1f9lohTjbEM08FR707j587PpPoxP
 0Ae51QBdBbKhhBl0XpYIYHS4V7wBVg8bu7Bs_tZp7NAaJYZW5Frn37_KCM4XRT5yctWe..PR66G6
 wNocp4_QCRl2O..PmqUXC1.6CxEUV9tXKvmHkJ3eaTADCPvGSRqN.5f4lD.zFOPl1IzkwIhHDhzY
 4CPfIZVOApKjGt7znroUfgPUlhJgheVrZ0wxBnlsTRExqIpxPE03tfanS9CNzuTciqECvQmStQ6e
 sBswY0nsfH.wYyz1jeGaDTEvFPeXOZavugbezN5nnshCVVd771TIQYzf7f06hZxL4uCVxPCTd1gh
 ufiGac7pWgKEbTiOks95bL_gIBeteloA6b9RMkGDwMGoz4IFTmYvdaprV6IMb_1JwsXYW_qMIjUP
 lEPp_Y.n2kaLDGYRRYBLhoOV9HoUIwODj01GS1IgQ6nsfHwGcLtQpB0Dpr9mQhvvXQn7KWZzEFB3
 5wj11modWEeRFTXJNeA8coCN4GCqWw0HMNfbzq3ZtMmts5iZlrxv15L5Cgn0t.x5F5gzu0OQjMlB
 L41ITw9WLg1PESDa2ULjMhv091l23mQgEzkH7cZxRGMeBiewW8jI2.wetXGjo2aV4z38ZnafCrdP
 .0mEOlkF6gZwDwm6t7BZ9eYdXQywvzDAfwNrqj3g658f2fVaCeAylmBFTQz_I6z1BVa7sTPK6pXN
 dhKgYkGdRsMbA0wBGgArFl6wsWj4mHTTJ3B4gUWq7277Cp48.ANd_x.zrg9t.zaPUU5KcscG1LE5
 oqcgXh1yZRwb7bMQIe7.CL8lcoa03_qFU2156ubRLp3Q1iBNpBXN_OIp7In.nEFarLQhXXeeZFsr
 ZUixAAM.lEV6c24nBq6S0ILp1DiztHJvYR2SYXu25uNTWoG_1a8K3sx.tSRsdkAAcPldyg3CSDMm
 il5Pe9Qc2KfGrvkBDneBfq8t79uPzOg7HCMPGsQOgk_uah5LIAtC.lp3FyGAlAJTgAfsopeOa4w4
 x3q.1JvV0cmwLICte7ro_XvyAhJqOzPoswBGbp9RuDuNf0bNDf7z0ecs.hpbAAgpydWzVJDoXIhh
 NHaKMx3FlH2rZxuzxoXhZ0F1fWrl5GgbpA7F01_thc3tDEF11UhFNWv7Ze9vucuGG1RTtVlo39oS
 mYLG_HzYbIUvt5CY.ZnRj6XOcAmxs1RJusK6G3uaBesc-
X-Sonic-MF: <jaswthomas@sbcglobal.net>
X-Sonic-ID: 86945cf2-555f-4cff-9525-f09ef8a26a6d
Received: from sonic.gate.mail.ne1.yahoo.com by sonic316.consmr.mail.bf2.yahoo.com with HTTP; Mon, 5 May 2025 14:37:03 +0000
Received: by hermes--production-gq1-74d64bb7d7-khmfd (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID ef72a8ca7dcd3537ff2544aa06667233;
          Mon, 05 May 2025 14:36:58 +0000 (UTC)
From: Jim Thomas <jaswthomas@sbcglobal.net>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_63FAF467-0E81-4909-80BC-1D6DC7F5266F"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.500.181.1.5\))
Subject: Re: [SC22WG14.30159] New issue #1014: Error handling in `<reduc.h>`
 and `<augarith.h>`
Message-Id: <61FC1DB1-C758-4C50-A8C2-C971BADA1545@sbcglobal.net>
References: <20250327222101.E5BA635689C@www.open-std.org>
To: SC22 WG14 <sc22wg14@open-std.org>,
 CFP Interest <cfp-interest@oakapple.net>
Date: Mon, 5 May 2025 07:36:46 -0700
X-Mailer: Apple Mail (2.3826.500.181.1.5)
Sender: owner-sc22wg14@open-std.org
Precedence: bulk


--Apple-Mail=_63FAF467-0E81-4909-80BC-1D6DC7F5266F
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

Here is a suggestion for changes to ISO/IEC TS 18661-4:2025 to address =
Issue #1014: Error handling in `<reduc.h>` and `<augarith.h>`:


In 6.1, before the paragraph beginning =E2=80=9CFor each of the =
following synopses, =E2=80=A6=E2=80=9D, and also in 7.1, before the =
paragraph beginning "For each of the following synopses, =E2=80=A6=E2=80=9D=
, add the paragraph:

For the terms =E2=80=9Cdomain error=E2=80=9D and =E2=80=9Crange error=E2=80=
=9D used in the following subclauses, the specification in C23 7.12.2 =
pertains as though the functions were declared in <math.h>.

- Jim Thomas

>=20
> From: Joseph Myers <josmyers@redhat.com>
> Subject: [SC22WG14.30159] New issue #1014: Error handling in =
`<reduc.h>` and `<augarith.h>`
> Date: March 27, 2025 at 3:20:52=E2=80=AFPM PDT
> To: sc22wg14@open-std.org
>=20
> The following new C standard issue has been submitted.
>=20
> https://www.open-std.org/jtc1/sc22/wg14/issues/cfp-c23/issue1014.html
>=20
> ## Issue 1014: Error handling in `<reduc.h>` and `<augarith.h>`
>=20
> Authors: Joseph Myers =20
> Date: 2025-03-27 =20
> Submitted against: Floating-point TS 18661 (C23 version, 2025) =20
> Status: Open
>=20
> TS 18661-4:2025 talks about domain errors and range errors for
> functions in `<reduc.h>` and `<augarith.h>`.
>=20
> In the first (2015) edition of TS 18661-4, the functions were
> described as being added to `<math.h>` so it was clear that the error
> handling semantics for `<math.h>` described in the C standard applied.
> With the functions now being in new headers, it is no longer clear
> whether those semantics (C23 7.12.2 (Treatment of error conditions))
> apply to these functions, or whether different semantics might apply
> (such as the `<complex.h>` semantics where setting `errno` is optional
> even when the value of `math_errhandling` means it must be set by
> `<math.h>` functions).
>=20
> An explicit statement should be added, either applying the rules from
> `<math.h>` to error handling for functions in the new headers, or
> stating how error handling requirements differ from those in
> `<math.h>`.  (No specific wording is proposed here.)
>=20


--Apple-Mail=_63FAF467-0E81-4909-80BC-1D6DC7F5266F
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;"><meta =
http-equiv=3D"content-type" content=3D"text/html; charset=3Dutf-8"><div =
style=3D"overflow-wrap: break-word; -webkit-nbsp-mode: space; =
line-break: after-white-space;"><meta http-equiv=3D"content-type" =
content=3D"text/html; charset=3Dutf-8"><div style=3D"overflow-wrap: =
break-word; -webkit-nbsp-mode: space; line-break: =
after-white-space;"><div dir=3D"auto" style=3D"overflow-wrap: =
break-word; -webkit-nbsp-mode: space; line-break: =
after-white-space;">Here is a suggestion for changes to ISO/IEC TS =
18661-4:2025 to address Issue #1014: Error handling in `&lt;reduc.h&gt;` =
and `&lt;augarith.h&gt;`:</div><div><br></div><div dir=3D"auto" =
style=3D"overflow-wrap: break-word; -webkit-nbsp-mode: space; =
line-break: after-white-space;"><br></div><div dir=3D"auto" =
style=3D"overflow-wrap: break-word; -webkit-nbsp-mode: space; =
line-break: after-white-space;">In 6.1, before the paragraph beginning =
=E2=80=9CFor each of the following synopses, =E2=80=A6=E2=80=9D, and =
also in 7.1, before the paragraph beginning "For each of the following =
synopses, =E2=80=A6=E2=80=9D, add the =
paragraph:<div><br></div><blockquote style=3D"margin: 0 0 0 40px; =
border: none; padding: 0px;"><div><font color=3D"#669c35">For the terms =
=E2=80=9Cdomain error=E2=80=9D and =E2=80=9Crange error=E2=80=9D used in =
the following subclauses, the specification in C23 7.12.2 pertains as =
though the functions were declared in <font face=3D"Courier =
New">&lt;math.h&gt;</font>.</font></div></blockquote><div><div><br></div><=
div>- Jim Thomas</div><div><br></div><div><blockquote type=3D"cite"><br =
class=3D"Apple-interchange-newline"><div style=3D"margin-top: 0px; =
margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span =
style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, =
sans-serif; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span =
style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, =
sans-serif;">Joseph Myers =
&lt;josmyers@redhat.com&gt;<br></span></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span =
style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, =
sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span =
style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, =
sans-serif;"><b>[SC22WG14.30159] New issue #1014: Error handling in =
`&lt;reduc.h&gt;` and `&lt;augarith.h&gt;`</b><br></span></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; =
margin-left: 0px;"><span style=3D"font-family: -webkit-system-font, =
Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, =
1.0);"><b>Date: </b></span><span style=3D"font-family: =
-webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">March 27, =
2025 at 3:20:52=E2=80=AFPM PDT<br></span></div><div style=3D"margin-top: =
0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span =
style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, =
sans-serif; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span =
style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, =
sans-serif;">sc22wg14@open-std.org<br></span></div><br><div><div>The =
following new C standard issue has been =
submitted.<br><br>https://www.open-std.org/jtc1/sc22/wg14/issues/cfp-c23/i=
ssue1014.html<br><br>## Issue 1014: Error handling in `&lt;reduc.h&gt;` =
and `&lt;augarith.h&gt;`<br><br>Authors: Joseph Myers &nbsp;<br>Date: =
2025-03-27 &nbsp;<br>Submitted against: Floating-point TS 18661 (C23 =
version, 2025) &nbsp;<br>Status: Open<br><br>TS 18661-4:2025 talks about =
domain errors and range errors for<br>functions in `&lt;reduc.h&gt;` and =
`&lt;augarith.h&gt;`.<br><br>In the first (2015) edition of TS 18661-4, =
the functions were<br>described as being added to `&lt;math.h&gt;` so it =
was clear that the error<br>handling semantics for `&lt;math.h&gt;` =
described in the C standard applied.<br>With the functions now being in =
new headers, it is no longer clear<br>whether those semantics (C23 =
7.12.2 (Treatment of error conditions))<br>apply to these functions, or =
whether different semantics might apply<br>(such as the =
`&lt;complex.h&gt;` semantics where setting `errno` is optional<br>even =
when the value of `math_errhandling` means it must be set =
by<br>`&lt;math.h&gt;` functions).<br><br>An explicit statement should =
be added, either applying the rules from<br>`&lt;math.h&gt;` to error =
handling for functions in the new headers, or<br>stating how error =
handling requirements differ from those in<br>`&lt;math.h&gt;`. =
&nbsp;(No specific wording is proposed =
here.)<br><br></div></div></blockquote></div><br></div></div></div></div><=
/body></html>=

--Apple-Mail=_63FAF467-0E81-4909-80BC-1D6DC7F5266F--
