<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:10.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<div id="mail-editor-reference-message-container">
<div>
<div>
<div>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<div>
<div>
<div id="mail-editor-reference-message-container">
<div>
<div>
<p class="MsoNormal"><span style="font-size:11.0pt"> <b>Attendees:</b> Rajan, Jim, Fred, Jerome, David H, Joshua</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> <b>New agenda items</b> (<a href="https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20240207-update.pdf">https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20240207-update.pdf</a>):</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> None.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> Previous meeting notes:</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See CFP2976 (<a href="http://mailman.oakapple.net/pipermail/cfp-interest/2024-January/002990.html">http://mailman.oakapple.net/pipermail/cfp-interest/2024-January/002990.html</a>).</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> Next Meeting(s):</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> March 13, 2024, 4PM UTC</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ISO Zoom teleconference</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Please notify the group if this time slot does not work.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> New action items:</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Fred: C26: Issue 5: Are there any <math.h> macros with the same issue? Should words be added to an introduction section in <float.h>?</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Fred: C26: Issue 9: Look at original CFP messages to see if 3.10 (Correctly rounded definition) might cover it.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: C26: Issue 4: Draft a paper as per the resolution in the issues list.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: C26: Issue 17: Draft a paper as per the resolution in the issues list.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jerome: C26: Issue 1: Get definitions of terms relating to the issue for 754 and C and regular math.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> Action items to be carried over:</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> None.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> C++ liaison:</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> None</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> WG14 meeting report</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP2985 and follow ups, CFP2988] WG14 meeting summary</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Rajan: Imaginary type removal was voted on by 11/2/10 (consensus). Reasoning was no implementations.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Next WG14 meeting (virtual) is June 10-14th, 2024.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> C23 integration</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> C23 drafts:</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> C2X working draft n3149 - July 2, 2023 - For CFP review only. Do not distribute.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Status</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP2968] Fwd: [SC22WG14.23987] DIS 9899 passed</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> DIS review comments (DIS passed)</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [N3216] DIS 9899 Final Disposition of Comments</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Editorial review group will meet when we have a draft. CFP signed up to review.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> Carry over action items</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> None</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> Action items from previous meeting (done unless stated otherwise)</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Update CFP2973 to add a comma before the "or" in the updated note.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP2978] Fwd: [SC22WG14.24484] DIS comment about correctly rounded result</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Give list of changes compared to the last revision of the TS parts 4 and 5 for the WG14 meeting.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP2977] list of changes to TSes</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Rajan: Issues with the _t names and concrete struct definitions. May be an issue when bringing it into C2Y or future.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim, Fred: Come up with a way of discussing these C26 issues (grouping, or something else) before next CFP meeting.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP299{0,2}] action item about C26 issues</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> TS-4 and TS-5 revisions</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP2956, 2965, 2989 and follow ups]</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Bill Ash pointed out some fixes that were needed, all in the ISO boilerplate. Those were done and submitted.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: We started in September in 2009, and our objective was to have a C binding to 754:2008. C was on 754:1985. Now we've updated it to 754:2017! And we've brought in a lot into C23 and almost done the
latest revisions of the TS's.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt"> C26 issues</span></b><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Issues list</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See <a href="https://wiki.edg.com/pub/CFP/WebHome/C26C.HTM">https://wiki.edg.com/pub/CFP/WebHome/C26C.HTM</a></span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [CFP2992, 2994 and follow ups]</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> #5: Is INFINITY for ALL implementations? It is a large FP constant if not supported in C17 (which could raise an FP exception); C23 only if really supported (so not an exception). Exceptions only raised
if required (where stated in C23). SNAN quiet or not? Are these (INFINITY, NAN, SNAN) the only special macros?</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Hough: As with other macros, these do not raise exceptions when evaluated. NOTE? Footnote? Global FP statement: Unless stated otherwise, none of the <float.h> macros raise FP exceptions when evaluated.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Are there any <math.h> macros with this issue? Should words be added to an introduction section in <float.h>?</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ^Fred: Look into.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> #9 Issue: 1e99999 to scanf is not infinity.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: correctly rounded definition (3.10) might cover.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ^Fred: Look at original CFP messages.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> #3 not a problem</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> #4 OK with resolution</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ^Jim: Draft paper</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> #17 round trip requires round to nearest for both conversions.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ^Jim: Draft paper. Can be against draft C23.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> #1 specific math functions (*gamma); not a problem, really a proposal to tighten up main body.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ^Coonen: Math pole vs math singularity; log(0) is not pole, but singularity. 754 might be "wrong", but C matches 754.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Fred: Different implementations did different things, so C std did NOT require just one specific implementation, eg, pole vs domain error for lgamms(0).</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> C's functions are math functions + useful special cases [pow(0,0), atan2(0,0)] where math is a domain error.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Imaginary types</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> See [N3206, CFP2979, CFP2997 and follow ups]</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Can address some of Jens comments by moving the semantics of *, - and + into the main body of the standard. Other parts that do not depend on 60559 could also be moved. _Imaginary types could still
remain optional.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Joshua: The main standard doesn't have _Imaginary type defined in the main body of the standard. The entire specification is in Annex G.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Some references in the main body of the standard.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jerome: We are the only ones doing anything in this space. LAPACK has a complex versions of a lot of its numeric functions. It's been done without imaginary types, so I've been asked how valuable is
it? Maybe we should get complex in solidly first before going to imaginary.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Jim: Getting the parts of the operators into the main body would handle that.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Others?</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Other issues</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span><o:p></o:p></p>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</div>
</body>
</html>