1 // RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11 -triple=x86_64-linux-gnu 2 3 int f(); // expected-note {{declared here}} 4 5 static_assert(f(), "f"); // expected-error {{static_assert expression is not an integral constant expression}} expected-note {{non-constexpr function 'f' cannot be used in a 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 static_assert(false, L"\xFFFFFFFF"); // expected-error {{static_assert failed L"\xFFFFFFFF"}} 32 static_assert(false, u"\U000317FF"); // expected-error {{static_assert failed u"\U000317FF"}} 33 // FIXME: render this as u8"\u03A9" 34 static_assert(false, u8""); // expected-error {{static_assert failed u8"\316\251"}} 35 static_assert(false, L"\u1234"); // expected-error {{static_assert failed L"\x1234"}} 36 static_assert(false, L"\x1ff" "0\x123" "fx\xfffff" "goop"); // expected-error {{static_assert failed L"\x1FF""0\x123""fx\xFFFFFgoop"}} 37 38 template<typename T> struct AlwaysFails { 39 // Only give one error here. 40 static_assert(false, ""); // expected-error {{static_assert failed}} 41 }; 42 AlwaysFails<int> alwaysFails; 43 44 template<typename T> struct StaticAssertProtected { 45 static_assert(__is_literal(T), ""); // expected-error {{static_assert failed}} 46 static constexpr T t = {}; // no error here 47 }; 48 struct X { ~X(); }; 49 StaticAssertProtected<int> sap1; 50 StaticAssertProtected<X> sap2; // expected-note {{instantiation}} 51
