<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">We’ll add this issue to the agenda for the Feb 20 teleconference.<div class=""><br class=""></div><div class="">- Jim Thomas<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">From: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">Joseph Myers <<a href="mailto:joseph@codesourcery.com" class="">joseph@codesourcery.com</a>><br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Subject: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><b class="">(SC22WG14.14921) Floating-point DR#13 and integer arguments to type-generic macros</b><br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Date: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">February 12, 2018 at 9:46:11 AM PST<br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">To: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><<a href="mailto:sc22wg14@open-std.org" class="">sc22wg14@open-std.org</a>><br class=""></span></div><br class=""><div class=""><div class="">I believe these comments all still apply to the version of the DR <br class="">resolution in N2202: it still determines a type, but says nothing about <br class="">what function is determined from that type (needed to cover dadd(f, f) <br class="">which needs to call daddl to stay compatible with TS 18661-1, for example <br class="">- the type determined is float, but what function is determined from it?).<br class=""><br class="">-- <br class="">Joseph S. Myers<br class=""><a href="mailto:joseph@codesourcery.com" class="">joseph@codesourcery.com</a><br class=""><br class="">On Thu, 23 Nov 2017, Joseph Myers wrote:<br class=""><br class=""><blockquote type="cite" class="">Looking at the latest proposed DR resolution <br class=""><http://wiki.edg.com/pub/CFP/WebHome/tgmath_for_narrowing_functions-20171117.pdf>:<br class=""><br class="">This resolution changes text that partially determines a function called <br class="">by type-generic macros such as dadd, to text that determines a type. Does <br class="">it then result in a call to a function whose parameters have that type? I <br class="">don't see anything saying so, but it's possible I've missed some text in <br class="">the complicated sequence of (C11 amended by 18661-1 amended by 18661-2 <br class="">amended by 18661-3 amended by DR#9 amended by DR#13 as modified by this <br class="">proposed change to the resolution of DR#13).<br class=""><br class="">In any case, there needs to be *something* about choosing a function whose <br class="">arguments have a wider type than the one determined from the types of the <br class="">arguments (subject to whatever's needed to keep things well-defined in the <br class="">case of integer arguments, if desired), because of the dadd(f, f) case, <br class="">which is clearly specified in TS 18661-1 to call the function daddl, and <br class="">is included as an example there - as there isn't any dadd function with <br class="">float or double arguments. A correction to TS 18661-3 should not have the <br class="">effect of invalidating something that was valid with TS 18661-1.<br class=""><br class="">-- <br class="">Joseph S. Myers<br class="">joseph@codesourcery.com<br class=""></blockquote></div></div></blockquote></div><br class=""></div></body></html>