[clang] [C11] Claim conformance to WG14 N1396 (PR #101214)
Aaron Ballman via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 1 04:53:08 PDT 2024
================
@@ -501,7 +501,13 @@ <h2 id="c11">C11 implementation status</h2>
<tr>
<td>Wide function returns (alternate proposal)</td>
<td><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1396.htm">N1396</a></td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">
+ <details><summary>Yes*</summary>
+ Clang conforms to this paper on all targets except 32-bit x86 without
+ SSE2. However, Clang does not claim conformance or intend to conform to
+ Annex F on that target, so we vacuously conform.
----------------
AaronBallman wrote:
Good call on reformulation as `not X and not Y`, I'll take care of that. I'll also try to reword the "vacuously conform" to be more clear. The intent is: because the changes in the paper only apply to Annex F, and Annex F support is optional, and we don't claim to conform to Annex F on any target (and we will never claim to conform to Annex F for that particular target), we conform to the paper by doing nothing.
https://github.com/llvm/llvm-project/pull/101214
More information about the cfe-commits
mailing list