[clang] [C11] Claim conformance to WG14 N1396 (PR #101214)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 1 03:55:47 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.
----------------
h-vetinari wrote:
The "or" IMO breaks the link to "does not" (spoken language is much more fungible with operator precedence...), so I'd formulate this as `not X and not Y`, rather than `not (X or Y)`. Also, I wouldn't call "support on all but one niche target" to be "vacuous".
```suggestion
SSE2. However, Clang does not claim conformance (nor intends to conform)
to Annex F on that target, so overall we can still claim full conformance.
```
https://github.com/llvm/llvm-project/pull/101214
More information about the cfe-commits
mailing list