| // RUN: %clang_cc1 -std=c11 -fsyntax-only -verify %s |
| // RUN: %clang_cc1 -fms-compatibility -DMS -fsyntax-only -verify=expected,ms %s |
| // RUN: %clang_cc1 -std=c99 -pedantic -fsyntax-only -verify=expected,ext %s |
| // RUN: %clang_cc1 -xc++ -std=c++11 -pedantic -fsyntax-only -verify=expected,ext,cxx %s |
| |
| _Static_assert("foo", "string is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}} |
| #ifndef __cplusplus |
| // expected-error@-2 {{static assertion expression is not an integral constant expression}} |
| #endif |
| |
| _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}} |
| _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \ |
| // ext-warning {{'_Static_assert' is a C11 extension}} |
| |
| #ifdef MS |
| static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without inclusion of <assert.h> is a Microsoft extension}} |
| #endif |
| |
| void foo(void) { |
| _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}} |
| _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \ |
| // ext-warning {{'_Static_assert' is a C11 extension}} |
| #ifdef MS |
| static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without}} |
| #endif |
| } |
| |
| _Static_assert(1, invalid); // expected-error {{expected string literal for diagnostic message in static_assert}} \ |
| // ext-warning {{'_Static_assert' is a C11 extension}} |
| |
| struct A { |
| int a; |
| _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}} |
| _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \ |
| // ext-warning {{'_Static_assert' is a C11 extension}} |
| #ifdef MS |
| static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without}} |
| #endif |
| }; |
| |
| #ifdef __cplusplus |
| #define ASSERT_IS_TYPE(T) __is_same(T, T) |
| #else |
| #define ASSERT_IS_TYPE(T) __builtin_types_compatible_p(T, T) |
| #endif |
| |
| #define UNION(T1, T2) union { \ |
| __typeof__(T1) one; \ |
| __typeof__(T2) two; \ |
| _Static_assert(ASSERT_IS_TYPE(T1), "T1 is not a type"); \ |
| _Static_assert(ASSERT_IS_TYPE(T2), "T2 is not a type"); \ |
| _Static_assert(sizeof(T1) == sizeof(T2), "type size mismatch"); \ |
| } |
| |
| typedef UNION(unsigned, struct A) U1; // ext-warning 3 {{'_Static_assert' is a C11 extension}} |
| 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}} |
| typedef UNION(char, short) U3; // expected-error {{static assertion failed due to requirement 'sizeof(char) == sizeof(short)': type size mismatch}} \ |
| // ext-warning 3 {{'_Static_assert' is a C11 extension}} |
| typedef UNION(float, 0.5f) U4; // expected-error {{expected a type}} \ |
| // ext-warning 3 {{'_Static_assert' is a C11 extension}} |
| |
| // After defining the assert macro in MS-compatibility mode, we should |
| // no longer warn about including <assert.h> under the assumption the |
| // user already did that. |
| #ifdef MS |
| #define assert(expr) |
| static_assert(1, "1 is nonzero"); // ok |
| |
| // But we should still warn if the user did something bonkers. |
| #undef static_assert |
| static_assert(1, "1 is nonzero"); // ms-warning {{use of 'static_assert' without}} |
| #endif |
| |
| _Static_assert(1 , "") // expected-error {{expected ';' after '_Static_assert'}} \ |
| // ext-warning {{'_Static_assert' is a C11 extension}} |