1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s 2*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s 3*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s 4*67e74705SXin Li 5*67e74705SXin Li class X { 6*67e74705SXin Li public: 7*67e74705SXin Li explicit X(const X&); // expected-note {{candidate constructor}} 8*67e74705SXin Li X(int*); // expected-note 3{{candidate constructor}} 9*67e74705SXin Li explicit X(float*); // expected-note {{candidate constructor}} 10*67e74705SXin Li }; 11*67e74705SXin Li 12*67e74705SXin Li class Y : public X { }; 13*67e74705SXin Li f(Y y,int * ip,float * fp)14*67e74705SXin Livoid f(Y y, int *ip, float *fp) { 15*67e74705SXin Li X x1 = y; // expected-error{{no matching constructor for initialization of 'X'}} 16*67e74705SXin Li X x2 = 0; 17*67e74705SXin Li X x3 = ip; 18*67e74705SXin Li X x4 = fp; // expected-error{{no viable conversion}} 19*67e74705SXin Li X x2a(0); // expected-error{{call to constructor of 'X' is ambiguous}} 20*67e74705SXin Li X x3a(ip); 21*67e74705SXin Li X x4a(fp); 22*67e74705SXin Li } 23*67e74705SXin Li 24*67e74705SXin Li struct foo { 25*67e74705SXin Li void bar(); // expected-note{{declared here}} 26*67e74705SXin Li }; 27*67e74705SXin Li 28*67e74705SXin Li // PR3600 test(const foo * P)29*67e74705SXin Livoid test(const foo *P) { P->bar(); } // expected-error{{'bar' not viable: 'this' argument has type 'const foo', but function is not marked const}} 30*67e74705SXin Li 31*67e74705SXin Li namespace PR6757 { 32*67e74705SXin Li struct Foo { 33*67e74705SXin Li Foo(); 34*67e74705SXin Li Foo(Foo&); // expected-note{{candidate constructor not viable}} 35*67e74705SXin Li }; 36*67e74705SXin Li 37*67e74705SXin Li struct Bar { 38*67e74705SXin Li operator const Foo&() const; 39*67e74705SXin Li }; 40*67e74705SXin Li 41*67e74705SXin Li void f(Foo); 42*67e74705SXin Li g(Foo foo)43*67e74705SXin Li void g(Foo foo) { 44*67e74705SXin Li f(Bar()); // expected-error{{no viable constructor copying parameter of type 'const PR6757::Foo'}} 45*67e74705SXin Li f(foo); 46*67e74705SXin Li } 47*67e74705SXin Li } 48*67e74705SXin Li 49*67e74705SXin Li namespace DR5 { 50*67e74705SXin Li // Core issue 5: if a temporary is created in copy-initialization, it is of 51*67e74705SXin Li // the cv-unqualified version of the destination type. 52*67e74705SXin Li namespace Ex1 { 53*67e74705SXin Li struct C { }; 54*67e74705SXin Li C c; 55*67e74705SXin Li struct A { 56*67e74705SXin Li A(const A&); 57*67e74705SXin Li A(const C&); 58*67e74705SXin Li }; 59*67e74705SXin Li const volatile A a = c; // ok 60*67e74705SXin Li } 61*67e74705SXin Li 62*67e74705SXin Li namespace Ex2 { 63*67e74705SXin Li struct S { 64*67e74705SXin Li S(S&&); 65*67e74705SXin Li #if __cplusplus <= 199711L // C++03 or earlier modes 66*67e74705SXin Li // expected-warning@-2 {{rvalue references are a C++11 extension}} 67*67e74705SXin Li #endif 68*67e74705SXin Li S(int); 69*67e74705SXin Li }; 70*67e74705SXin Li const S a(0); 71*67e74705SXin Li const S b = 0; 72*67e74705SXin Li } 73*67e74705SXin Li } 74