[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