1 // RUN: %clang_cc1 -std=c++23 -triple x86_64-linux -Wpre-c++23-compat -fsyntax-only -verify=cxx23 %s
2 // RUN: %clang_cc1 -std=c++20 -triple x86_64-linux -fsyntax-only -verify=cxx20 %s
3 // RUN: %clang_cc1 -std=c++23 -triple i686-linux -fsyntax-only -verify=cxx23-32 %s
4 // RUN: %clang_cc1 -x c -std=c11 -fsyntax-only -verify=c11 %s
5
6 #ifdef __cplusplus
7
8 typedef __SIZE_TYPE__ size_t;
9 // Assume ptrdiff_t is the signed integer type corresponding to size_t.
10 typedef __PTRDIFF_TYPE__ ssize_t;
11
12 template <typename, typename>
13 struct is_same { static constexpr bool value = false; };
14
15 template <typename T>
16 struct is_same<T, T> { static constexpr bool value = true; };
17
SSizeT(void)18 void SSizeT(void) {
19 auto a1 = 1z;
20 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
21 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
22 static_assert(is_same<decltype(a1), ssize_t>::value);
23
24 auto a2 = 1Z;
25 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
26 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
27 static_assert(is_same<decltype(a2), ssize_t>::value);
28 }
29
SizeT(void)30 void SizeT(void) {
31 auto a1 = 1uz;
32 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
33 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
34 static_assert(is_same<decltype(a1), size_t>::value);
35
36 auto a2 = 1uZ;
37 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
38 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
39 static_assert(is_same<decltype(a2), size_t>::value);
40
41 auto a3 = 1Uz;
42 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
43 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
44 static_assert(is_same<decltype(a3), size_t>::value);
45
46 auto a4 = 1UZ;
47 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
48 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
49 static_assert(is_same<decltype(a4), size_t>::value);
50
51 auto a5 = 1zu;
52 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
53 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
54 static_assert(is_same<decltype(a5), size_t>::value);
55
56 auto a6 = 1Zu;
57 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
58 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
59 static_assert(is_same<decltype(a6), size_t>::value);
60
61 auto a7 = 1zU;
62 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
63 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
64 static_assert(is_same<decltype(a7), size_t>::value);
65
66 auto a8 = 1ZU;
67 // cxx23-warning@-1 {{'size_t' suffix for literals is incompatible with C++ standards before C++23}}
68 // cxx20-warning@-2 {{'size_t' suffix for literals is a C++23 extension}}
69 static_assert(is_same<decltype(a8), size_t>::value);
70 }
71
oor(void)72 void oor(void) {
73 #if __i386__
74 (void)3'000'000'000z; // cxx23-32-error {{signed 'size_t' literal is out of range of possible signed 'size_t' values}}
75 (void)3'000'000'000uz;
76 (void)5'000'000'000uz; // cxx23-32-error {{'size_t' literal is out of range of possible 'size_t' values}}
77
78 (void)0x80000000z;
79 (void)0x80000000uz;
80 (void)0x180000000uz; //cxx23-32-error {{'size_t' literal is out of range of possible 'size_t' values}}
81 #endif
82 }
83
84 #else
85
f(void)86 void f(void) {
87 (void)1z; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
88 (void)1Z; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
89 (void)1uz; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
90 (void)1uZ; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
91 (void)1Uz; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
92 (void)1UZ; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
93 (void)1zu; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
94 (void)1Zu; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
95 (void)1zU; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
96 (void)1ZU; // c11-error {{'size_t' suffix for literals is a C++23 feature}}
97 }
98
99 #endif
100