1 // RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -std=c++11 -Wall %s 2 3 struct Bitfield { 4 int n : 3 = 7; // expected-error {{bitfield member cannot have an in-class initializer}} 5 }; 6 7 int a; 8 class NoWarning { 9 int &n = a; 10 public: 11 int &GetN() { return n; } 12 }; 13 14 bool b(); 15 int k; 16 struct Recurse { 17 int &n = b() ? Recurse().n : k; // expected-error {{defaulted default constructor of 'Recurse' cannot be used by non-static data member initializer which appears before end of class definition}} 18 }; 19 20 struct UnknownBound { 21 int as[] = { 1, 2, 3 }; // expected-error {{array bound cannot be deduced from an in-class initializer}} 22 int bs[4] = { 4, 5, 6, 7 }; 23 int cs[] = { 8, 9, 10 }; // expected-error {{array bound cannot be deduced from an in-class initializer}} 24 }; 25 26 template<int n> struct T { static const int B; }; 27 template<> struct T<2> { template<int C, int D> using B = int; }; 28 const int C = 0, D = 0; 29 struct S { 30 int as[] = { decltype(x)::B<C, D>(0) }; // expected-error {{array bound cannot be deduced from an in-class initializer}} 31 T<sizeof(as) / sizeof(int)> x; 32 // test that we handle invalid array bound deductions without crashing when the declarator name is itself invalid 33 operator int[](){}; // expected-error {{'operator int' cannot be the name of a variable or data member}} \ 34 // expected-error {{array bound cannot be deduced from an in-class initializer}} 35 }; 36 37 struct ThrowCtor { ThrowCtor(int) noexcept(false); }; 38 struct NoThrowCtor { NoThrowCtor(int) noexcept(true); }; 39 40 struct Throw { ThrowCtor tc = 42; }; 41 struct NoThrow { NoThrowCtor tc = 42; }; 42 43 static_assert(!noexcept(Throw()), "incorrect exception specification"); 44 static_assert(noexcept(NoThrow()), "incorrect exception specification"); 45 46 struct CheckExcSpec { 47 CheckExcSpec() noexcept(true) = default; 48 int n = 0; 49 }; 50 struct CheckExcSpecFail { 51 CheckExcSpecFail() noexcept(true) = default; // expected-error {{exception specification of explicitly defaulted default constructor does not match the calculated one}} 52 ThrowCtor tc = 123; 53 }; 54 55 struct TypedefInit { 56 typedef int A = 0; // expected-error {{illegal initializer}} 57 }; 58 59 // PR10578 / <rdar://problem/9877267> 60 namespace PR10578 { 61 template<typename T> 62 struct X { 63 X() { 64 T* x = 1; // expected-error{{cannot initialize a variable of type 'int *' with an rvalue of type 'int'}} 65 } 66 }; 67 68 struct Y : X<int> { 69 Y(); 70 }; 71 72 Y::Y() try { // expected-note{{in instantiation of member function 'PR10578::X<int>::X' requested here}} 73 } catch(...) { 74 } 75 } 76 77 namespace PR14838 { 78 struct base { ~base() {} }; 79 class function : base { 80 ~function() {} // expected-note {{implicitly declared private here}} 81 public: 82 function(...) {} 83 }; 84 struct thing {}; 85 struct another { 86 another() : r(thing()) {} 87 // expected-error@-1 {{temporary of type 'const PR14838::function' has private destructor}} 88 // expected-warning@-2 {{binding reference member 'r' to a temporary value}} 89 const function &r; // expected-note {{reference member declared here}} 90 } af; 91 } 92 93 namespace rdar14084171 { 94 struct Point { // expected-note 3 {{candidate constructor}} 95 double x; 96 double y; 97 }; 98 struct Sprite { 99 Point location = Point(0,0); // expected-error {{no matching constructor for initialization of 'rdar14084171::Point'}} 100 }; 101 void f(Sprite& x) { x = x; } 102 } 103 104 namespace PR18560 { 105 struct X { int m; }; 106 107 template<typename T = X, 108 typename U = decltype(T::m)> 109 int f(); 110 111 struct Y { int b = f(); }; 112 } 113
