117 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s2 3struct x {4 x() : a(4) ; // expected-error {{expected '{'}}5};6 7struct y {8 int a;9 y() : a(4) ; // expected-error {{expected '{'}}10};11 12struct z {13 int a;14 z() : a {}15}; // expected-error {{expected '{'}}16 17namespace PR16480 {18 template<int n> struct X {19 X();20 X(int);21 };22 23 struct A : X<0> {24 A() : X<a<b>{0}.n>() {}25 26 template<int> struct a {27 int n;28 };29 30 static const int b = 1;31 };32 33 struct B : X<0> {34 B() : X<a<b>{0} {}35 36 static const int a = 0, b = 0;37 };38 39 template<int> struct a {40 constexpr a(int) {}41 constexpr operator int() const { return 0; }42 };43 44 struct C : X<0> {45 C() : X<a<b>(0)>() {}46 47 static const int b = 0;48 };49 50 struct D : X<0> {51 D() : X<a<b>(0) {}52 53 static const int a = 0, b = 0;54 };55 56 template<typename T> struct E : X<0> {57 E(X<0>) : X<(0)>{} {}58 E(X<1>) : X<int{}>{} {}59 E(X<2>) : X<(0)>() {}60 E(X<3>) : X<int{}>() {}61 };62 63 // FIXME: This should be valid in the union of C99 and C++11.64 struct F : X<0> {65 F() : X<A<T>().n + (T){}.n>{} {} // expected-error +{{}} expected-note {{to match}}66 67 struct T { int n; };68 template<typename> struct A { int n; };69 };70 71 // FIXME: This is valid now, but may be made ill-formed by DR1607.72 struct G : X<0> {73 G() : X<0 && [](){return 0;}()>{} // expected-error +{{}} expected-note {{to match}}74 };75 76 struct Errs : X<0> {77 Errs(X<0>) : decltype X<0>() {} // expected-error {{expected '(' after 'decltype'}}78 Errs(X<1>) : what is this () {} // expected-error {{expected '(' or '{'}}79 Errs(X<2>) : decltype(X<0> // expected-note {{to match this '('}}80 }; // expected-error {{expected ')'}}81}82 83template <class U, class V> struct C {84 int f() { return 4; }85 class C1 {};86};87 88class D {};89namespace N {90struct E {91 class F {};92};93}94 95class G {96 // These are all valid:97 void f(int x = C<int, D>().f()) {}98 void g(int x = C<int, ::D>().f()) {}99 void h(int x = C<int, N::E>().f()) {}100 void i(int x = C<int, ::N::E>().f()) {}101 void j(int x = C<int, decltype(N::E())::F>().f()) {}102 void k(int x = C<int, C<int, int>>().f()) {}103 void l(int x = C<int, C<int, int>::C1>().f()) {}104 105 // This isn't, but it shouldn't crash. The diagnostics don't matter much.106 void m(int x = C<int, union int>().f()) {}107 // expected-error@-1 {{declaration of anonymous union must be a definition}}108 // expected-error@-2 {{type name requires a specifier or qualifier}}109 // expected-error@-3 {{expected '>'}}110 // expected-note@-4 {{to match this '<'}}111 112 void n(int x = 1 ? 2) {}113 // expected-error@-1 {{expected ':'}}114 // expected-note@-2 {{to match this '?'}}115 // expected-error@-3 {{expected expression}}116};117