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> _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
