[clang] 5680b75 - [C2x] Add tests for WG14 N3035 and update the C status page

[Aaron Ballman via cfe-commits]

Author: Aaron Ballman
Date: 2023-03-02T14:36:50-05:00
New Revision: 5680b7570342c3457b80d3129fe60e53ef7ddfd5

URL: https://github.com/llvm/llvm-project/commit/5680b7570342c3457b80d3129fe60e53ef7ddfd5
DIFF: https://github.com/llvm/llvm-project/commit/5680b7570342c3457b80d3129fe60e53ef7ddfd5.diff

LOG: [C2x] Add tests for WG14 N3035 and update the C status page

The paper was making minor corrections to the standard that Clang had
already implemented. This adds (most of) the test coverage for the
paper and claims support. In my testing, we supported this in Clang 15.

Added: 
    clang/test/C/C2x/n3035.c

Modified: 
    clang/www/c_status.html

Removed: 
    


################################################################################
diff  --git a/clang/test/C/C2x/n3035.c b/clang/test/C/C2x/n3035.c
new file mode 100644
index 0000000000000..417cf2d4b880f
--- /dev/null
+++ b/clang/test/C/C2x/n3035.c
@@ -0,0 +1,51 @@
+// RUN: %clang_cc1 -triple x86_64 -ffreestanding -verify -std=c2x %s
+
+/* WG14 N3035: yes
+ * _BitInt Fixes
+ */
+
+#include <stdint.h>
+
+/* intmax_t and uintmax_t don't need to be able to represent all of the values
+ * of a bit-precise integer type. We test this by using a bit-precise integer
+ * suffix on some huge values used within the preprocessor.
+ */
+#if 0x1'FFFF'FFFF'FFFF'FFFFwb == 0 /* expected-error {{integer literal is too large to be represented in any integer type}} */
+#endif
+
+/* Yet we can use that value as an initializer... */
+_BitInt(66) Val = 0x1'FFFF'FFFF'FFFF'FFFFwb;
+
+/* ...so long as the type is wide enough. */
+intmax_t WrongVal = 0x1'FFFF'FFFF'FFFF'FFFFwb; /* expected-warning-re {{implicit conversion from '_BitInt(66)' to 'intmax_t' (aka '{{.*}}') changes value from 36893488147419103231 to -1}} */
+
+/* None of the types in stdint.h may be defined in terms of a bit-precise
+ * integer type. This macro presumes that if the type is not one of the builtin
+ * scalar integer types, the type must be a bit-precise type. We're using this
+ * because C does not have a particularly straightforward way to use _Generic
+ * with arbitrary bit-precise integer types.
+ */
+#define IS_NOT_BIT_PRECISE(TYPE) _Generic((TYPE){ 0 },                          \
+                                   short : 1, int : 1, long : 1, long long : 1, \
+                                   unsigned short : 1, unsigned int : 1,        \
+                                   unsigned long : 1, unsigned long long : 1,   \
+                                   char : 1, signed char : 1, unsigned char : 1,\
+                                   default : 0)
+static_assert(IS_NOT_BIT_PRECISE(int8_t));
+static_assert(IS_NOT_BIT_PRECISE(uint8_t));
+static_assert(IS_NOT_BIT_PRECISE(int16_t));
+static_assert(IS_NOT_BIT_PRECISE(uint16_t));
+static_assert(IS_NOT_BIT_PRECISE(int32_t));
+static_assert(IS_NOT_BIT_PRECISE(uint32_t));
+static_assert(IS_NOT_BIT_PRECISE(int64_t));
+static_assert(IS_NOT_BIT_PRECISE(uint64_t));
+static_assert(IS_NOT_BIT_PRECISE(intmax_t));
+static_assert(IS_NOT_BIT_PRECISE(uintmax_t));
+static_assert(IS_NOT_BIT_PRECISE(intptr_t));
+static_assert(IS_NOT_BIT_PRECISE(uintptr_t));
+
+/* FIXME: N3035 also added wording disallowing using a bit-precise integer type
+ * as the compatible type for an enumerated type. However, we don't have a
+ * direct way to test that, so we're claiming conformance without test
+ * coverage.
+ */

diff  --git a/clang/www/c_status.html b/clang/www/c_status.html
index 425d67b4be6e4..dcc02e8b05145 100644
--- a/clang/www/c_status.html
+++ b/clang/www/c_status.html
@@ -895,7 +895,7 @@ <h2 id="c2x">C2x implementation status</h2>
       </tr>
       <tr> <!-- Jul 2022 -->
         <td><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3035.pdf">N3035</a></td>
-        <td class="unknown" align="center">Unknown</td>
+        <td class="full" align="center">Clang 15</td>
       </tr>
     <!-- Sep 2021 Papers -->
     <tr>