13629b1408
C2x was finalized at the June 2023 WG14 meeting. The DIS is out for balloting and the comment period for that closes later this year/early next year. While that does leave an opportunity for more changes to the standard during the DIS ballot resolution process, only editorial changes are anticipated and as a result, the C committee considers C2x to be final. The committee took a straw poll on what we'd prefer the informal name of the standard be, and we decided it should be called C23 regardless of what year ISO publishes it. However, because the final publication is not out, this patch does not add the language standard alias for the -std=iso9899:<year> spelling of the standard mode; that will be added once ISO finally publishes the document and the year chosen will match the publication date. This also changes the value of __STDC_VERSION__ from the placeholder value 202000L to the final value 202311L. Subsequent patches will start renaming things from c2x to c23, cleaning up documentation, etc. Differential Revision: https://reviews.llvm.org/D157606
58 lines
3.1 KiB
C++
58 lines
3.1 KiB
C++
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c11 -x c -fsyntax-only -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c2x -x c -fsyntax-only -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -fsyntax-only -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++17 -fsyntax-only -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++17 -fsyntax-only -fchar8_t -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++20 -fsyntax-only -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++20 -fsyntax-only -fno-char8_t -verify %s
|
|
|
|
int array0[u'ñ' == u'\xf1'? 1 : -1];
|
|
int array1['\xF1' != u'\xf1'? 1 : -1];
|
|
int array1['ñ' != u'\xf1'? 1 : -1]; // expected-error {{character too large for enclosing character literal type}}
|
|
#if __cplusplus > 201402L
|
|
char a = u8'ñ'; // expected-error {{character too large for enclosing character literal type}}
|
|
char b = u8'\x80'; // ok
|
|
char c = u8'\u0080'; // expected-error {{character too large for enclosing character literal type}}
|
|
char d = u8'\u1234'; // expected-error {{character too large for enclosing character literal type}}
|
|
char e = u8'ሴ'; // expected-error {{character too large for enclosing character literal type}}
|
|
char f = u8'ab'; // expected-error {{Unicode character literals may not contain multiple characters}}
|
|
#elif __STDC_VERSION__ >= 202311L
|
|
char a = u8'ñ'; // expected-error {{character too large for enclosing character literal type}}
|
|
char b = u8'\x80'; // ok
|
|
char c = u8'\u0000'; // ok
|
|
char d = u8'\u1234'; // expected-error {{character too large for enclosing character literal type}}
|
|
char e = u8'ሴ'; // expected-error {{character too large for enclosing character literal type}}
|
|
char f = u8'ab'; // expected-error {{Unicode character literals may not contain multiple characters}}
|
|
_Static_assert(
|
|
_Generic(u8'a',
|
|
default : 0,
|
|
unsigned char : 1),
|
|
"Surprise!");
|
|
#endif
|
|
|
|
|
|
// UTF-8 character literals are enabled in C++17 and later. If `-fchar8_t` is not enabled
|
|
// (as is the case in C++17), then UTF-8 character literals may produce signed or
|
|
// unsigned values depending on whether char is a signed type. If `-fchar8_t` is enabled
|
|
// (which is the default behavior for C++20), then UTF-8 character literals always
|
|
// produce unsigned values. The tests below depend on the target having a signed
|
|
// 8-bit char so that '\xff' produces a negative value.
|
|
#if __cplusplus >= 201703L
|
|
# if !defined(__cpp_char8_t)
|
|
# if !(u8'\xff' == '\xff')
|
|
# error UTF-8 character value did not match ordinary character literal; this is unexpected
|
|
# endif
|
|
# else
|
|
# if u8'\xff' == '\xff' // expected-warning {{right side of operator converted from negative value to unsigned}}
|
|
# error UTF-8 character value matched ordinary character literal; this is unexpected
|
|
# endif
|
|
# endif
|
|
#endif
|
|
|
|
/// In C23, u8 char literals are always unsigned.
|
|
#if __STDC_VERSION__ >= 202311L
|
|
# if u8'\xff' == '\xff'// expected-warning {{right side of operator converted from negative value to unsigned}}
|
|
# error u8 char literal is not unsigned
|
|
# endif
|
|
#endif
|