<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML xmlns="http://www.w3.org/TR/REC-html40" 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"><HEAD>
<META content="text/html; charset=us-ascii" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 11.00.9600.19431">
<STYLE>@font-face {
font-family: Cambria Math;
}
@font-face {
font-family: Calibri;
}
@page WordSection1 {size: 8.5in 11.0in; margin: 1.0in 1.0in 1.0in 1.0in; }
P.MsoNormal {
FONT-SIZE: 11pt; FONT-FAMILY: "Calibri",sans-serif; MARGIN: 0in
}
LI.MsoNormal {
FONT-SIZE: 11pt; FONT-FAMILY: "Calibri",sans-serif; MARGIN: 0in
}
DIV.MsoNormal {
FONT-SIZE: 11pt; FONT-FAMILY: "Calibri",sans-serif; MARGIN: 0in
}
SPAN.EmailStyle17 {
FONT-FAMILY: "Calibri",sans-serif; COLOR: windowtext; mso-style-type: personal-compose
}
.MsoChpDefault {
FONT-FAMILY: "Calibri",sans-serif; mso-style-type: export-only
}
DIV.WordSection1 {
page: WordSection1
}
</STYLE>
</HEAD>
<BODY lang=EN-US style="WORD-WRAP: break-word" link=#0563c1 vLink=#954f72>
<DIV dir=ltr align=left><SPAN class=602041717-21072022><FONT color=#0000ff
size=2 face=Arial>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><SPAN class=602041717-21072022><FONT color=#0000ff
size=2 face=Arial></FONT></SPAN> </DIV>
<DIV dir=ltr align=left><SPAN class=602041717-21072022><FONT color=#0000ff
size=2 face=Arial>Mike</FONT></SPAN></DIV><BR>
<BLOCKQUOTE
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px"
dir=ltr>
<DIV lang=en-us class=OutlookMessageHeader dir=ltr align=left>
<HR tabIndex=-1>
<FONT size=2 face=Tahoma><B>From:</B> Cfp-interest
[mailto:cfp-interest-bounces@oakapple.net] <B>On Behalf Of </B>Rajan
Bhakta<BR><B>Sent:</B> 21 July 2022 18:06<BR><B>To:</B>
cfp-interest@oakapple.net<BR><B>Subject:</B> [Cfp-interest 2466] Likely
upcoming work for CFP from WG14'smeeting today<BR></FONT><BR></DIV>
<DIV></DIV>
<DIV class=WordSection1>
<P class=MsoNormal>Hello,<o:p></o:p></P>
<P class=MsoNormal><o:p> </o:p></P>
<P class=MsoNormal>In today’s WG14 meeting the ++(E) quantum exponent issue
came up again (that we discussion the March meeting this year).<o:p></o:p></P>
<P class=MsoNormal>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></o:p></P>
<P class=MsoNormal>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></o:p></P>
<P class=MsoNormal><o:p> </o:p></P>
<P class=MsoNormal>Here are the comments I got:<o:p></o:p></P>
<P class=MsoNormal><o:p> </o:p></P>
<P class=MsoNormal>For ++E DFP quantum exponent issue:<o:p></o:p></P>
<P class=MsoNormal>From Joseph:<o:p></o:p></P>
<P class=MsoNormal>The issue is that the wording now consistently no longer
says 1 in program font, it says 1 in appropriate type.<o:p></o:p></P>
<P class=MsoNormal><o:p> </o:p></P>
<P class=MsoNormal>Based on the comment I made:<o:p></o:p></P>
<P class=MsoNormal>For the +1 quantum exponent issue, CFP discussed this
before (in the March 2022 meeting) and this was our discussion (and
conclusion):<o:p></o:p></P>
<P class=MsoNormal> C/C++ defines ++ as adding the value 1 to the
operand. For DFP, what is the quantum exponent of that 1?<o:p></o:p></P>
<P class=MsoNormal> 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></o:p></P>
<P class=MsoNormal> No other result seems to make sense
anyways.<o:p></o:p></P>
<P class=MsoNormal> Perhaps say it is adding the integer one
instead of using the font in the C text for that ++E to
clarify?<o:p></o:p></P>
<P class=MsoNormal><o:p> </o:p></P>
<P class=MsoNormal> 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></o:p></P>
<DIV>
<DIV>
<P class=MsoNormal><o:p> </o:p></P>
<P class=MsoNormal>Regards,<BR><BR><B>Rajan Bhakta</B><BR>z/OS XL C/C++
Compiler Technical Architect<BR>ISO C Standards Representative (Canada, USA),
PL22.11 Chair<BR>C/C++ Compiler Development<o:p></o:p></P>
<P class=MsoNormal>rbhakta@us.ibm.com<o:p></o:p></P>
<P class=MsoNormal><o:p> </o:p></P></DIV></DIV>
<P class=MsoNormal>IBM<o:p></o:p></P></DIV></BLOCKQUOTE></BODY></HTML>