1*67e74705SXin Li // RUN: %clang_cc1 -std=c11 -fsyntax-only -verify %s
2*67e74705SXin Li // RUN: %clang_cc1 -xc++ -std=c++11 -fsyntax-only -verify %s
3*67e74705SXin Li
4*67e74705SXin Li _Static_assert("foo", "string is nonzero");
5*67e74705SXin Li #ifndef __cplusplus
6*67e74705SXin Li // expected-error@-2 {{static_assert expression is not an integral constant expression}}
7*67e74705SXin Li #endif
8*67e74705SXin Li
9*67e74705SXin Li _Static_assert(1, "1 is nonzero");
10*67e74705SXin Li _Static_assert(0, "0 is nonzero"); // expected-error {{static_assert failed "0 is nonzero"}}
11*67e74705SXin Li
foo(void)12*67e74705SXin Li void foo(void) {
13*67e74705SXin Li _Static_assert(1, "1 is nonzero");
14*67e74705SXin Li _Static_assert(0, "0 is nonzero"); // expected-error {{static_assert failed "0 is nonzero"}}
15*67e74705SXin Li }
16*67e74705SXin Li
17*67e74705SXin Li _Static_assert(1, invalid); // expected-error {{expected string literal for diagnostic message in static_assert}}
18*67e74705SXin Li
19*67e74705SXin Li struct A {
20*67e74705SXin Li int a;
21*67e74705SXin Li _Static_assert(1, "1 is nonzero");
22*67e74705SXin Li _Static_assert(0, "0 is nonzero"); // expected-error {{static_assert failed "0 is nonzero"}}
23*67e74705SXin Li };
24*67e74705SXin Li
25*67e74705SXin Li #ifdef __cplusplus
26*67e74705SXin Li #define ASSERT_IS_TYPE(T) __is_same(T, T)
27*67e74705SXin Li #else
28*67e74705SXin Li #define ASSERT_IS_TYPE(T) __builtin_types_compatible_p(T, T)
29*67e74705SXin Li #endif
30*67e74705SXin Li
31*67e74705SXin Li #define UNION(T1, T2) union { \
32*67e74705SXin Li __typeof__(T1) one; \
33*67e74705SXin Li __typeof__(T2) two; \
34*67e74705SXin Li _Static_assert(ASSERT_IS_TYPE(T1), "T1 is not a type"); \
35*67e74705SXin Li _Static_assert(ASSERT_IS_TYPE(T2), "T2 is not a type"); \
36*67e74705SXin Li _Static_assert(sizeof(T1) == sizeof(T2), "type size mismatch"); \
37*67e74705SXin Li }
38*67e74705SXin Li
39*67e74705SXin Li typedef UNION(unsigned, struct A) U1;
40*67e74705SXin Li UNION(char[2], short) u2 = { .one = { 'a', 'b' } };
41*67e74705SXin Li typedef UNION(char, short) U3; // expected-error {{static_assert failed "type size mismatch"}}
42*67e74705SXin Li typedef UNION(float, 0.5f) U4; // expected-error {{expected a type}}
43