1 // RUN: %clang_cc1 -fsyntax-only -std=c17 -DTEST_SPELLING -Wc2x-compat -verify=c17 %s 2 // RUN: %clang_cc1 -fsyntax-only -std=c17 -DTEST_SPELLING -fms-compatibility -verify=c17-ms %s 3 // RUN: %clang_cc1 -fsyntax-only -std=c2x -Wpre-c2x-compat -verify=c2x-compat %s 4 // RUN: %clang_cc1 -fsyntax-only -std=c99 -verify=c99 %s 5 // RUN: %clang_cc1 -fsyntax-only -std=c99 -pedantic -verify=c99-pedantic %s 6 // RUN: %clang_cc1 -fsyntax-only -std=c++17 -verify=cxx17 -x c++ %s 7 // RUN: %clang_cc1 -fsyntax-only -std=c++17 -pedantic -verify=cxx17-pedantic -x c++ %s 8 // RUN: %clang_cc1 -fsyntax-only -std=c++98 -verify=cxx98 -x c++ %s 9 // RUN: %clang_cc1 -fsyntax-only -std=c++98 -pedantic -verify=cxx98-pedantic -x c++ %s 10 // RUN: %clang_cc1 -fsyntax-only -std=c++17 -Wpre-c++17-compat -verify=cxx17-compat -x c++ %s 11 12 // cxx17-no-diagnostics 13 14 #ifdef TEST_SPELLING 15 // Only test the C++ spelling in C mode in some of the tests, to reduce the 16 // amount of diagnostics to have to check. This spelling is allowed in MS- 17 // compatibility mode in C, but otherwise produces errors. 18 static_assert(1, ""); // c17-warning {{'static_assert' is a keyword in C23}} \ 19 // c17-error {{expected parameter declarator}} \ 20 // c17-error {{expected ')'}} \ 21 // c17-note {{to match this '('}} \ 22 // c17-error {{type specifier missing, defaults to 'int'; ISO C99 and later do not support implicit int}} \ 23 // c17-ms-warning {{use of 'static_assert' without inclusion of <assert.h> is a Microsoft extension}} 24 25 #endif 26 27 // We support _Static_assert as an extension in older C modes and in all C++ 28 // modes, but only as a pedantic warning. 29 _Static_assert(1, ""); // c99-pedantic-warning {{'_Static_assert' is a C11 extension}} \ 30 // cxx17-pedantic-warning {{'_Static_assert' is a C11 extension}} \ 31 // cxx98-pedantic-warning {{'_Static_assert' is a C11 extension}} 32 33 // _Static_assert without a message has more complex diagnostic logic: 34 // * In C++17 or C2x mode, it's supported by default. 35 // * But there is a special compat warning flag to warn about portability to 36 // older standards. 37 // * In older standard pedantic modes, warn about supporting without a 38 // message as an extension. 39 _Static_assert(1); // c99-pedantic-warning {{'_Static_assert' with no message is a C23 extension}} \ 40 // c99-warning {{'_Static_assert' with no message is a C23 extension}} \ 41 // cxx98-pedantic-warning {{'static_assert' with no message is a C++17 extension}} \ 42 // cxx98-warning {{'static_assert' with no message is a C++17 extension}} \ 43 // c2x-compat-warning {{'_Static_assert' with no message is incompatible with C standards before C23}} \ 44 // cxx17-compat-warning {{'static_assert' with no message is incompatible with C++ standards before C++17}} \ 45 // c99-pedantic-warning {{'_Static_assert' is a C11 extension}} \ 46 // cxx17-pedantic-warning {{'_Static_assert' is a C11 extension}} \ 47 // cxx98-pedantic-warning {{'_Static_assert' is a C11 extension}} \ 48 // c17-warning {{'_Static_assert' with no message is a C23 extension}} \ 49 // c17-ms-warning {{'_Static_assert' with no message is a C23 extension}} 50