<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">You’ve noticed that the list of sub-exceptions is not complete. All 754 says about what sub-exceptions to support is:<div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><div>Language standards should also define exception lists containing:</div></div><div><div>― allExceptions: all five exceptions listed in Clause 7, or</div></div><div><div>― any subset of sub-exceptions―sub-cases of the exceptions in Clause 7 (e.g., the sub-cases of the</div></div><div><div>invalid operation exception in 7.2); ...</div></div></blockquote><div><div><br></div><div>754 doesn’t mention sub-exceptions for exceptions outside of Clause 7, thus not exception from mathematical operations in 754 9.2.</div><div><br></div><div>TS-5 goes a little beyond 754, though doesn’t try to be complete, and it allows implementations to add support for other sub-exceptions.</div><div><br></div><div>I believe we have sub-exceptions for the more common cases, which might be enough to allow implementers (then users) to try out the feature (which is one of the purposes of a TS).</div><div><br></div><div>- Jim Thomas</div><div><br><blockquote type="cite"><div>On Aug 24, 2023, at 6:01 PM, Damian McGuckin <damianm@esi.com.au> wrote:</div><br class="Apple-interchange-newline"><div><div><br>Jim,<br><br>My sincere apologies if the following comment is way too late or out of place.<br><br>Please repost to list if my comments are remotely useful.<br><br>On Thu, 24 Aug 2023, Jim Thomas wrote:<br><br><blockquote type="cite">? ?invalid? floating-point exceptions from conversions from floating to integer<br>types (C23 F.4),<br>not caused by signaling NaN input<br>FE_INVALID_INT<br></blockquote><br>Why not<br><br><span class="Apple-tab-span" style="white-space:pre"> </span>FE_INVALID_CONVERT<br></div></div></blockquote><div><br></div>The only invalid conversions are from floating to integer types, for which we have FE_INVALID_INT.<br><blockquote type="cite"><div><div><br>There already is 8-letter _QUANTIZE so it is not like it is super long.<br><br><blockquote type="cite">? ?divide-by-zero? floating-point exceptions from divide operators and functions<br>that divide<br>(C23 7.12.14.4, F.10.11)<br>FE_DIVBYZERO_ZERO<br></blockquote><br>If there is FE_DIVBYZERO_LOG is about things for the LOG..arithm functions,<br><br>why not let FE_DIVBYZERO_DIV be about things for the DIV..ide operations ...<br></div></div></blockquote><div><br></div>We have that: FE_DIVBYZERO_ZERO<br><blockquote type="cite"><div><div><br>Also, if you want to be really finicky, there is no way to distinguish<br><br><span class="Apple-tab-span" style="white-space:pre"> </span>INF / INF<br>and<br><span class="Apple-tab-span" style="white-space:pre"> </span>0 / 0<br><br>with<br><span class="Apple-tab-span" style="white-space:pre"> </span>FP_INVALID_DIV<br><br>Both of which are invalid but for different reasons.<br><br>My 2c.<br><br>Thanks - Damian<br></div></div></blockquote></div><br></div></body></html>