1 // RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11 2 3 int f(); 4 5 static_assert(f(), "f"); // expected-error {{static_assert expression is not an integral constant expression}} 6 static_assert(true, "true is not false"); 7 static_assert(false, "false is false"); // expected-error {{static_assert failed "false is false"}} 8 9 void g() { 10 static_assert(false, "false is false"); // expected-error {{static_assert failed "false is false"}} 11 } 12 13 class C { 14 static_assert(false, "false is false"); // expected-error {{static_assert failed "false is false"}} 15 }; 16 17 template<int N> struct T { 18 static_assert(N == 2, "N is not 2!"); // expected-error {{static_assert failed "N is not 2!"}} 19 }; 20 21 T<1> t1; // expected-note {{in instantiation of template class 'T<1>' requested here}} 22 T<2> t2; 23 24 template<typename T> struct S { 25 static_assert(sizeof(T) > sizeof(char), "Type not big enough!"); // expected-error {{static_assert failed "Type not big enough!"}} 26 }; 27 28 S<char> s1; // expected-note {{in instantiation of template class 'S<char>' requested here}} 29 S<int> s2; 30 31