1 // RUN: %clang_cc1 -std=c11 -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -fms-compatibility -DMS -fsyntax-only -verify=expected,ms %s
3 // RUN: %clang_cc1 -std=c99 -pedantic -fsyntax-only -verify=expected,ext %s
4 // RUN: %clang_cc1 -xc++ -std=c++11 -pedantic -fsyntax-only -verify=expected,ext,cxx %s
5
6 _Static_assert("foo", "string is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
7 #ifndef __cplusplus
8 // expected-error@-2 {{static assertion expression is not an integral constant expression}}
9 #endif
10
11 _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
12 _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \
13 // ext-warning {{'_Static_assert' is a C11 extension}}
14
15 #ifdef MS
16 static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without inclusion of <assert.h> is a Microsoft extension}}
17 #endif
18
foo(void)19 void foo(void) {
20 _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
21 _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \
22 // ext-warning {{'_Static_assert' is a C11 extension}}
23 #ifdef MS
24 static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without}}
25 #endif
26 }
27
28 _Static_assert(1, invalid); // expected-error {{expected string literal for diagnostic message in static_assert}} \
29 // ext-warning {{'_Static_assert' is a C11 extension}}
30
31 struct A {
32 int a;
33 _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
34 _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \
35 // ext-warning {{'_Static_assert' is a C11 extension}}
36 #ifdef MS
37 static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without}}
38 #endif
39 };
40
41 #ifdef __cplusplus
42 #define ASSERT_IS_TYPE(T) __is_same(T, T)
43 #else
44 #define ASSERT_IS_TYPE(T) __builtin_types_compatible_p(T, T)
45 #endif
46
47 #define UNION(T1, T2) union { \
48 __typeof__(T1) one; \
49 __typeof__(T2) two; \
50 _Static_assert(ASSERT_IS_TYPE(T1), "T1 is not a type"); \
51 _Static_assert(ASSERT_IS_TYPE(T2), "T2 is not a type"); \
52 _Static_assert(sizeof(T1) == sizeof(T2), "type size mismatch"); \
53 }
54
55 typedef UNION(unsigned, struct A) U1; // ext-warning 3 {{'_Static_assert' is a C11 extension}}
56 UNION(char[2], short) u2 = { .one = { 'a', 'b' } }; // ext-warning 3 {{'_Static_assert' is a C11 extension}} cxx-warning {{designated initializers are a C++20 extension}}
57 typedef UNION(char, short) U3; // expected-error {{static assertion failed due to requirement 'sizeof(char) == sizeof(short)': type size mismatch}} \
58 // ext-warning 3 {{'_Static_assert' is a C11 extension}}
59 typedef UNION(float, 0.5f) U4; // expected-error {{expected a type}} \
60 // ext-warning 3 {{'_Static_assert' is a C11 extension}}
61
62 // After defining the assert macro in MS-compatibility mode, we should
63 // no longer warn about including <assert.h> under the assumption the
64 // user already did that.
65 #ifdef MS
66 #define assert(expr)
67 static_assert(1, "1 is nonzero"); // ok
68
69 // But we should still warn if the user did something bonkers.
70 #undef static_assert
71 static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without}}
72 #endif
73
74 _Static_assert(1 , "") // expected-error {{expected ';' after '_Static_assert'}} \
75 // ext-warning {{'_Static_assert' is a C11 extension}}
76