Richard Smith | 762bb9d | 2011-10-13 22:29:44 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -std=c++11 -Wall %s |
Richard Smith | 7a614d8 | 2011-06-11 17:19:42 +0000 | [diff] [blame] | 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 { |
Richard Smith | b9d0b76 | 2012-07-27 04:22:15 +0000 | [diff] [blame] | 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}} |
Richard Smith | 7a614d8 | 2011-06-11 17:19:42 +0000 | [diff] [blame] | 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}} |
Richard Smith | 83a22ec | 2012-05-09 08:23:23 +0000 | [diff] [blame] | 31 | T<sizeof(as) / sizeof(int)> x; |
David Blaikie | 3164c14 | 2012-02-14 09:00:46 +0000 | [diff] [blame] | 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}} |
Richard Smith | 7a614d8 | 2011-06-11 17:19:42 +0000 | [diff] [blame] | 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 | }; |
Richard Smith | c2cdd53 | 2011-06-12 11:43:46 +0000 | [diff] [blame] | 54 | |
| 55 | struct TypedefInit { |
| 56 | typedef int A = 0; // expected-error {{illegal initializer}} |
| 57 | }; |
Douglas Gregor | 2eef427 | 2011-09-07 20:36:12 +0000 | [diff] [blame] | 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 | } |
Richard Smith | 774d8b4 | 2013-01-08 00:08:23 +0000 | [diff] [blame] | 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 | } |