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_assert 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_assert 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 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_assert 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_assert 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_assert 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