Author: Tom Honermann Date: 2023-12-07T12:40:46-05:00 New Revision: 53b46890064204d067f4ef3959fe754dde65b426
URL: https://github.com/llvm/llvm-project/commit/53b46890064204d067f4ef3959fe754dde65b426 DIFF: https://github.com/llvm/llvm-project/commit/53b46890064204d067f4ef3959fe754dde65b426.diff LOG: [Clang] Mark WG14 N2939 (Identifier Syntax Fixes) as available in Clang 15 (#74666) WG14 N2939 (Identifier Syntax Fixes) corrects a grammar issue in the C standard but does not otherwise change intended behavior. This change updates the C23 status to note this paper as implemented as of Clang 15; the release in which support for N2836 (Identifier Syntax using Unicode Standard Annex 31) was implemented. Added: clang/test/C/C2x/n2836_n2939.c Modified: clang/www/c_status.html Removed: ################################################################################ diff --git a/clang/test/C/C2x/n2836_n2939.c b/clang/test/C/C2x/n2836_n2939.c new file mode 100644 index 0000000000000..13e23c3def80d --- /dev/null +++ b/clang/test/C/C2x/n2836_n2939.c @@ -0,0 +1,83 @@ +// RUN: %clang_cc1 -x c -std=c2x -fsyntax-only -verify %s +// RUN: %clang_cc1 -x c -std=c2x -E -DPP_ONLY=1 %s | FileCheck %s --strict-whitespace + +/* WG14 N2836: Clang 15 + * Identifier Syntax using Unicode Standard Annex 31 + */ + +/* WG14 N2939: Clang 15 + * Identifier Syntax Fixes + */ + +// Some of the tests below are derived from clang/test/Lexer/unicode.c. + +// This file contains Unicode characters; please do not "fix" them! + +// No diagnostics for pragma directives. +#pragma mark ยกUnicode! + +// lone non-identifier characters are allowed in preprocessing. +#define COPYRIGHT Copyright ยฉ 2012 +#define XSTR(X) #X +#define STR(X) XSTR(X) + +static const char *copyright = STR(COPYRIGHT); // no-warning +// CHECK: static const char *copyright = "Copyright ยฉ {{2012}}"; + +#if PP_ONLY +COPYRIGHT +// CHECK: Copyright ยฉ {{2012}} +#endif + +// The characters in the following identifiers are no longer valid as either +// start or continuation characters as of C23. These are taken from section 1 +// of N2836. +extern int \N{CONSTRUCTION WORKER}; // expected-error {{expected identifier or '('}} +extern int X\N{CONSTRUCTION WORKER}; // expected-error {{character <U+1F477> not allowed in an identifier}} +extern int \U0001F477; // expected-error {{expected identifier or '('}} +extern int X\U0001F477; // expected-error {{character <U+1F477> not allowed in an identifier}} +extern int ๐ท; // expected-error {{unexpected character <U+1F477>}} \ + // expected-warning {{declaration does not declare anything}} +extern int X๐ท; // expected-error {{character <U+1F477> not allowed in an identifier}} +extern int ๐; // expected-error {{unexpected character <U+1F550>}} \ + // expected-warning {{declaration does not declare anything}} +extern int X๐; // expected-error {{character <U+1F550> not allowed in an identifier}} +extern int ๐; // expected-error {{unexpected character <U+1F480>}} \ + // expected-warning {{declaration does not declare anything}} +extern int X๐; // expected-error {{character <U+1F480> not allowed in an identifier}} +extern int ๐; // expected-error {{unexpected character <U+1F44A>}} \ + // expected-warning {{declaration does not declare anything}} +extern int X๐; // expected-error {{character <U+1F44A> not allowed in an identifier}} +extern int ๐; // expected-error {{unexpected character <U+1F680>}} \ + // expected-warning {{declaration does not declare anything}} +extern int X๐; // expected-error {{character <U+1F680> not allowed in an identifier}} +extern int ๐; // expected-error {{unexpected character <U+1F600>}} \ + // expected-warning {{declaration does not declare anything}} +extern int X๐; // expected-error {{character <U+1F600> not allowed in an identifier}} + +// The characters in the following identifiers are not allowed as start +// characters, but are allowed as continuation characters. +extern int \N{ARABIC-INDIC DIGIT ZERO}; // expected-error {{expected identifier or '('}} +extern int X\N{ARABIC-INDIC DIGIT ZERO}; +extern int \u0661; // expected-error {{expected identifier or '('}} +extern int X\u0661; +extern int ูข; // expected-error {{character <U+0662> not allowed at the start of an identifier}} \\ + // expected-warning {{declaration does not declare anything}} +extern int Xู ; + +// The characters in the following identifiers are not valid start or +// continuation characters in the standard, but are accepted as a conforming +// extension. +extern int \N{SUPERSCRIPT ZERO}; // expected-error {{expected identifier or '('}} +extern int X\N{SUPERSCRIPT ZERO}; // expected-warning {{mathematical notation character <U+2070> in an identifier is a Clang extension}} +extern int \u00B9; // expected-error {{expected identifier or '('}} +extern int X\u00B9; // expected-warning {{mathematical notation character <U+00B9> in an identifier is a Clang extension}} +extern int ยฒ; // expected-error {{character <U+00B2> not allowed at the start of an identifier}} \\ + // expected-warning {{declaration does not declare anything}} +extern int Xยฒ; // expected-warning {{mathematical notation character <U+00B2> in an identifier is a Clang extension}} +extern int \N{PARTIAL DIFFERENTIAL}; // expected-warning {{mathematical notation character <U+2202> in an identifier is a Clang extension}} +extern int X\N{PARTIAL DIFFERENTIAL}; // expected-warning {{mathematical notation character <U+2202> in an identifier is a Clang extension}} +extern int \u2207; // expected-warning {{mathematical notation character <U+2207> in an identifier is a Clang extension}} +extern int X\u2207; // expected-warning {{mathematical notation character <U+2207> in an identifier is a Clang extension}} +extern int โ; // expected-warning {{mathematical notation character <U+221E> in an identifier is a Clang extension}} +extern int Xโ; // expected-warning {{mathematical notation character <U+221E> in an identifier is a Clang extension}} diff --git a/clang/www/c_status.html b/clang/www/c_status.html index 91cae138074b3..47acb1f87b8e3 100644 --- a/clang/www/c_status.html +++ b/clang/www/c_status.html @@ -1151,7 +1151,7 @@ <h2 id="c2x">C23 implementation status</h2> <tr> <td>Identifier syntax fixes</td> <td><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2939.pdf";>N2939</a></td> - <td class="unknown" align="center">Unknown</td> + <td class="full" align="center">Clang 15</td> </tr> <tr> <td>Remove trigraphs??!</td> _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
