| // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
| |
| struct x { |
| x() : a(4) ; // expected-error {{expected '{'}} |
| }; |
| |
| struct y { |
| int a; |
| y() : a(4) ; // expected-error {{expected '{'}} |
| }; |
| |
| struct z { |
| int a; |
| z() : a {} |
| }; // expected-error {{expected '{'}} |
| |
| namespace PR16480 { |
| template<int n> struct X { |
| X(); |
| X(int); |
| }; |
| |
| struct A : X<0> { |
| A() : X<a<b>{0}.n>() {} |
| |
| template<int> struct a { |
| int n; |
| }; |
| |
| static const int b = 1; |
| }; |
| |
| struct B : X<0> { |
| B() : X<a<b>{0} {} |
| |
| static const int a = 0, b = 0; |
| }; |
| |
| template<int> struct a { |
| constexpr a(int) {} |
| constexpr operator int() const { return 0; } |
| }; |
| |
| struct C : X<0> { |
| C() : X<a<b>(0)>() {} |
| |
| static const int b = 0; |
| }; |
| |
| struct D : X<0> { |
| D() : X<a<b>(0) {} |
| |
| static const int a = 0, b = 0; |
| }; |
| |
| template<typename T> struct E : X<0> { |
| E(X<0>) : X<(0)>{} {} |
| E(X<1>) : X<int{}>{} {} |
| E(X<2>) : X<(0)>() {} |
| E(X<3>) : X<int{}>() {} |
| }; |
| |
| // FIXME: This should be valid in the union of C99 and C++11. |
| struct F : X<0> { |
| F() : X<A<T>().n + (T){}.n>{} {} // expected-error +{{}} |
| |
| struct T { int n; }; |
| template<typename> struct A { int n; }; |
| }; // expected-error +{{}} |
| |
| // FIXME: This is valid now, but may be made ill-formed by DR1607. |
| struct G : X<0> { |
| G() : X<0 && [](){return 0;}()>{} // expected-error +{{}} |
| }; // expected-error +{{}} |
| |
| struct Errs : X<0> { |
| Errs(X<0>) : decltype X<0>() {} // expected-error {{expected '(' after 'decltype'}} |
| Errs(X<1>) : what is this () {} // expected-error {{expected '(' or '{'}} |
| Errs(X<2>) : decltype(X<0> // expected-note {{to match this '('}} |
| }; // expected-error {{expected ')'}} |
| } |