clang/test/Sema/static-assert.c

   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