<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="">I agree. Maybe add “If E has decimal floating type, the added 1 has quantum exponent 0.”<div class=""><br class=""><div class="">- Jim Thomas<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jul 21, 2022, at 10:18 AM, Mike Cowlishaw <<a href="mailto:mfc@speleotrove.com" class="">mfc@speleotrove.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta charset="UTF-8" class=""><div dir="ltr" align="left" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span class="602041717-21072022"><font color="#0000ff" size="2" face="Arial" class="">If there is confusion, then indeed clarification is justified. An explicit statement of the quantum exponent makes sense, even if technically it's not necessary.</font></span></div><div dir="ltr" align="left" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span class="602041717-21072022"><font color="#0000ff" size="2" face="Arial" class=""></font></span> </div><div dir="ltr" align="left" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span class="602041717-21072022"><font color="#0000ff" size="2" face="Arial" class="">Mike</font></span></div><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><blockquote dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; padding-left: 5px; margin-left: 5px; border-left-width: 2px; border-left-style: solid; border-left-color: rgb(0, 0, 255); margin-right: 0px;" class="" type="cite"><div lang="en-us" class="OutlookMessageHeader" dir="ltr" align="left"><hr tabindex="-1" class=""><font size="2" face="Tahoma" class=""><b class="">From:</b><span class="Apple-converted-space"> </span>Cfp-interest [<a href="mailto:cfp-interest-bounces@oakapple.net" class="">mailto:cfp-interest-bounces@oakapple.net</a>]<span class="Apple-converted-space"> </span><b class="">On Behalf Of<span class="Apple-converted-space"> </span></b>Rajan Bhakta<br class=""><b class="">Sent:</b><span class="Apple-converted-space"> </span>21 July 2022 18:06<br class=""><b class="">To:</b><span class="Apple-converted-space"> </span><a href="mailto:cfp-interest@oakapple.net" class="">cfp-interest@oakapple.net</a><br class=""><b class="">Subject:</b><span class="Apple-converted-space"> </span>[Cfp-interest 2466] Likely upcoming work for CFP from WG14'smeeting today<br class=""></font><br class=""></div><div class=""></div><div class="WordSection1" style="page: WordSection1;"><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">Hello,<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">In today’s WG14 meeting the ++(E) quantum exponent issue came up again (that we discussion the March meeting this year).<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">Given later changes to the C standard wording (for _BitInt I believe) and what was already there for postfix, we will need to revisit this.<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">Joseph has a suggestion in a chat he sent me, but that of course is not necessarily the only way to resolve this issue.<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">Here are the comments I got:<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">For ++E DFP quantum exponent issue:<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">From Joseph:<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">The issue is that the wording now consistently no longer says 1 in program font, it says 1 in appropriate type.<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">Based on the comment I made:<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">For the +1 quantum exponent issue, CFP discussed this before (in the March 2022 meeting) and this was our discussion (and conclusion):<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""> C/C++ defines ++ as adding the value 1 to the operand. For DFP, what is the quantum exponent of that 1?<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""> Zero is the quantum exponent. This follows from ++E is equivalent to (E)+=1 where the 1 is in program font meaning an int constant. The C conversion from int to decimal gives a preferred quantum exponent of zero. So the rules cover this case already.<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""> No other result seems to make sense anyways.<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""> Perhaps say it is adding the integer one instead of using the font in the C text for that ++E to clarify?<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""> Joseph: Postfix ++ and -- said "appropriate type" all along. Prefix changed for _BitInt, because 1 of type int is inappropriate for _BitInt. 1 of appropriate type i fine for both prefix and postfix *if* an additional explicit statement of quantum exponent is added for the DFP case. (And it should be fine for that to be quantum exponent 0, as if integer 1 were used.)<o:p class=""></o:p></div><div class=""><div class=""><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">Regards,<br class=""><br class=""><b class="">Rajan Bhakta</b><br class="">z/OS XL C/C++ Compiler Technical Architect<br class="">ISO C Standards Representative (Canada, USA), PL22.11 Chair<br class="">C/C++ Compiler Development<o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><a href="mailto:rbhakta@us.ibm.com" class="">rbhakta@us.ibm.com</a><o:p class=""></o:p></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class=""><o:p class=""> </o:p></div></div></div><div style="font-size: 11pt; font-family: Calibri, sans-serif; margin: 0in;" class="">IBM<o:p class=""></o:p></div></div></blockquote><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">_______________________________________________</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Cfp-interest mailing list</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""><a href="mailto:Cfp-interest@oakapple.net" class="">Cfp-interest@oakapple.net</a></span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""><a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest" class="">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a></span></div></blockquote></div><br class=""></div></div></body></html>