<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)"><br></div></div><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">



<div><div style="direction:ltr;font-family:Aptos,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Hi,</div>
<div style="direction:ltr;font-family:Aptos,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<br>
</div>
<div style="direction:ltr;font-family:Aptos,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
How to handle issues for C (WG14) are given at <a href="https://www.open-std.org/jtc1/sc22/wg14/issues/" target="_blank">
https://www.open-std.org/jtc1/sc22/wg14/issues/</a>. Essentially you need to email the issue to <a href="mailto:c-issues@open-std.org" target="_blank">c-issues@open-std.org</a>.</div></div></blockquote><div><br></div><div><div style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)" class="gmail_default">Thanks, I can do that, but first let's make sure we're on the same page.</div></div><div style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)" class="gmail_default"></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div style="direction:ltr;font-family:Aptos,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
</div><div style="direction:ltr;font-family:Aptos,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
For this particular issue, I believe the value for the SNaN is the payload and that is unchanged. The operation still raises “invalid” as expected from any operation (including conversion) other than the very small set that explicitly do not do so (ex. The
 issignaling macro).</div></div></blockquote><div><br></div><div>F<span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)">irstly, ISO/IEC 60559 merely recommends that NaN payloads are propagated. §6.2.3 is full of "should". It would be extremely surprising if the C requirement EVEN for implementations that don't conform to Annex F was stricter than ISO/IEC 60559. That can't be right, but the wording says the value is unchanged, and you're reading "value" as synonymous with NaN payload.</span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)"><br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)">Secondly, I don't know why you would read that as being synonymous here. "value" as defined in §3.24 is the "</span>precise meaning of the contents of an object when interpreted as having a specific type<span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)">". It's a C construct derived from contents of an object, so when the C wording requires that a "value" is unchanged, I'm reading that as an sNaN not turning into a qNaN since those are two different values. However, the underlying hardware operation does turn sNaNs into qNaNs, and so does the convertFormat operation in ISO/IEC 60559, so I'm not finding any way to read the C wording as non-defective.</span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)"><br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)">Anyway, I'm not really an expert, so I'd be happy if you could elaborate on this before I go and report to someone else :)</span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)"><br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)"><br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)">Yours<br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0)">Jan</span></div></div></div>