[clang] 80f48b8 - [C2y] Claim support for WG14 N3532; NFC (#162718)

[via cfe-commits]

Author: Aaron Ballman
Date: 2025-10-10T07:34:16-04:00
New Revision: 80f48b849378dd46b5ff19945995c0f1598eb16b

URL: https://github.com/llvm/llvm-project/commit/80f48b849378dd46b5ff19945995c0f1598eb16b
DIFF: https://github.com/llvm/llvm-project/commit/80f48b849378dd46b5ff19945995c0f1598eb16b.diff

LOG: [C2y] Claim support for WG14 N3532; NFC (#162718)

This paper was ensuring that the left operand of . and -> must be a
complete object type. This has always been required in every version of
Clang.

Added: 
    clang/test/C/C2y/n3532.c

Modified: 
    clang/www/c_status.html

Removed: 
    


################################################################################
diff  --git a/clang/test/C/C2y/n3532.c b/clang/test/C/C2y/n3532.c
new file mode 100644
index 0000000000000..c481b58ba7d90
--- /dev/null
+++ b/clang/test/C/C2y/n3532.c
@@ -0,0 +1,53 @@
+// RUN: %clang_cc1 -verify -std=c2y %s
+// RUN: %clang_cc1 -verify -std=c23 %s
+// RUN: %clang_cc1 -verify -std=c17 %s
+// RUN: %clang_cc1 -verify -std=c11 %s
+// RUN: %clang_cc1 -verify -std=c99 %s
+// RUN: %clang_cc1 -verify -std=c89 %s
+
+/* WG14 N3532: Yes
+ * Member access of an incomplete object
+ *
+ * Verify that the first operand to the . or -> operators is a complete object
+ * type.
+ */
+
+struct S {
+  int i;
+};
+
+union U {
+  int i;
+};
+
+void good_test(void) {
+  struct S s;
+  struct S *s_ptr = &s;
+  union U u;
+  union U *u_ptr = &u;
+
+  // Complete object type, correctly named member.
+  s.i = 10;
+  s_ptr->i = 10;
+  u.i = 10;
+  u_ptr->i = 10;
+}
+
+void bad_test(void) {
+  struct Incomplete *s_ptr;    /* expected-note 2 {{forward declaration of 'struct Incomplete'}} */
+  union AlsoIncomplete *u_ptr; /* expected-note 2 {{forward declaration of 'union AlsoIncomplete'}} */
+  struct S s;
+  union U u;
+
+  // Incomplete object type.
+  s_ptr->i = 10; /* expected-error {{incomplete definition of type 'struct Incomplete'}} */
+  u_ptr->i = 10; /* expected-error {{incomplete definition of type 'union AlsoIncomplete'}} */
+
+  (*s_ptr).i = 10; /* expected-error {{incomplete definition of type 'struct Incomplete'}} */
+  (*u_ptr).i = 10; /* expected-error {{incomplete definition of type 'union AlsoIncomplete'}} */
+
+  // Complete object type, no named member.
+  s.f = "test"; /* expected-error {{no member named 'f' in 'struct S'}} */
+  u.f = "test"; /* expected-error {{no member named 'f' in 'union U'}} */
+}
+

diff  --git a/clang/www/c_status.html b/clang/www/c_status.html
index 380f66495a367..1a5fa4bbda3dc 100644
--- a/clang/www/c_status.html
+++ b/clang/www/c_status.html
@@ -359,7 +359,7 @@ <h2 id="c2y">C2y implementation status</h2>
     <tr>
       <td>Member access of an incomplete object</td>
       <td><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3532.pdf">N3532</a></td>
-      <td class="unknown" align="center">Unknown</td>
+      <td class="full" align="center">Yes</td>
 	</tr>
     <tr>
       <td>Representation of Pointers and nullptr_t</td>