| // RUN: %clang_cc1 -ffreestanding -verify=c23 -std=c23 %s |
| // RUN: %clang_cc1 -ffreestanding -verify=c17 -std=c17 %s |
| |
| // c23-no-diagnostics |
| |
| #include <stdatomic.h> |
| |
| #define __enable_constant_folding(x) (__builtin_constant_p(x) ? (x) : (x)) |
| #define __is_same(a, b) (__extension__ _Generic(a, b: 1, default: 0) && __extension__ _Generic(b, a: 1, default: 0)) |
| |
| #ifndef ATOMIC_CHAR8_T_LOCK_FREE |
| #error missing |
| #endif |
| // c17-error@-2 {{missing}} |
| |
| _Static_assert(__is_same(atomic_char8_t, unsigned char _Atomic), ""); |
| // c17-error@-1 {{use of undeclared identifier 'atomic_char8_t'}} |
| // c17-error@-2 {{unknown type name 'atomic_char8_t'}} |
| |
| _Static_assert(_Generic(u8"", unsigned char*: 1, char*: 0), ""); |
| // c17-error@-1 {{static assertion failed}} |
| |
| // -fsigned-char is the default |
| #define M(X) __enable_constant_folding((X) >= 0x80) |
| |
| _Static_assert(M(u8"\U000000E9"[0]), ""); |
| // c17-error@-1 {{static assertion failed}} |
| #if __STDC_VERSION__ >= 202311L |
| _Static_assert(M(u8'\xC3'), ""); |
| #endif |
| |
| const char cu8[] = u8"text"; |
| const signed char scu8[] = u8"text"; |
| const unsigned char ucu8[] = u8"text"; |
