[cfp-interest 3449] FW: WG14 2025/02 meeting action item: CFP to look at N3447's change 3.2, addition 50' (update #2)

[RAJAN BHAKTA]

Here is what I sent to WG14 for my CFP action item.

Regards,

Rajan Bhakta


From: owner-sc22wg14 at open-std.org <owner-sc22wg14 at open-std.org> on behalf of RAJAN BHAKTA <rbhakta at us.ibm.com>
Date: Wednesday, April 16, 2025 at 11:59 AM
To: ISO C <sc22wg14 at open-std.org>
Subject: [EXTERNAL] [SC22WG14.30480] WG14 2025/02 meeting action item: CFP to look at N3447's change 3.2, addition 50' (update #2)
ZjQcmQRYFpfptBannerEnd
CFP has updated our response to the action item given to us in the last WG14 meeting based on Joseph’s feedback in reflector message 29686.
ZjQcmQRYFpfptBannerEnd
To address the action item from WG 14 how about we propose changing the second sentence in 6.6.1 #5 from:

… If a floating expression is evaluated in the translation environment, the arithmetic range and precision shall be at least as great as if the expression were being evaluated in the execution environment.

to:

… A floating expression evaluated in the translation environment is evaluated with arithmetic range and precision at least as great as if the expression were being evaluated in the execution environment.

with no addition to Annex J, and keeping the existing footnote (currently footnote 116 in N3467).

This avoids the “shall”, and hence the UB. It also clarifies that “arithmetic range and precision” pertains to the evaluation.


  *   CFP
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20250422/8496f697/attachment.htm>