|
150
|
1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
|
|
|
2 //
|
|
|
3 // Note: [class.inhctor] was removed by P0136R1. This tests the new behavior
|
|
|
4 // for the wording that used to be there.
|
|
|
5
|
|
|
6 struct B1 {
|
|
|
7 B1(int); // expected-note 3{{target of using}}
|
|
|
8 B1(int, int); // expected-note 3{{target of using}}
|
|
|
9 };
|
|
|
10 struct D1 : B1 {
|
|
|
11 using B1::B1;
|
|
|
12 };
|
|
|
13 D1 d1a(1), d1b(1, 1);
|
|
|
14
|
|
|
15 D1 fd1() { return 1; }
|
|
|
16
|
|
|
17 struct B2 {
|
|
|
18 explicit B2(int, int = 0, int = 0); // expected-note {{not a candidate}}
|
|
|
19 };
|
|
|
20 struct D2 : B2 { // expected-note 2{{candidate constructor}}
|
|
|
21 using B2::B2;
|
|
|
22 };
|
|
|
23 D2 d2a(1), d2b(1, 1), d2c(1, 1, 1);
|
|
|
24
|
|
|
25 D2 fd2() { return 1; } // expected-error {{no viable conversion}}
|
|
|
26
|
|
|
27 struct B3 {
|
|
|
28 B3(void*); // expected-note {{candidate}}
|
|
|
29 };
|
|
|
30 struct D3 : B3 { // expected-note 2{{candidate constructor}}
|
|
|
31 using B3::B3; // expected-note {{inherited here}}
|
|
|
32 };
|
|
|
33 D3 fd3() { return 1; } // expected-error {{no viable conversion}}
|
|
|
34
|
|
|
35 template<typename T> struct T1 : B1 {
|
|
|
36 using B1::B1; // expected-note 2{{using declaration}}
|
|
|
37 };
|
|
|
38 template<typename T> struct T2 : T1<T> {
|
|
|
39 using T1<int>::T1; // expected-note 2{{using declaration}}
|
|
|
40 };
|
|
|
41 template<typename T> struct T3 : T1<int> {
|
|
|
42 using T1<T>::T1; // expected-note 2{{using declaration}}
|
|
|
43 };
|
|
|
44 struct U {
|
|
|
45 // [dcl.meaning]p1: "the member shall not merely hav ebeen introduced by a
|
|
|
46 // using-declaration in the scope of the class [...] nominated by the
|
|
|
47 // nested-name-specifier of the declarator-id"
|
|
|
48 friend T1<int>::T1(int); // expected-error {{cannot befriend target of using declaration}}
|
|
|
49 friend T1<int>::T1(int, int); // expected-error {{cannot befriend target of using declaration}}
|
|
|
50 friend T2<int>::T2(int); // expected-error {{cannot befriend target of using declaration}}
|
|
|
51 friend T2<int>::T2(int, int); // expected-error {{cannot befriend target of using declaration}}
|
|
|
52 friend T3<int>::T3(int); // expected-error {{cannot befriend target of using declaration}}
|
|
|
53 friend T3<int>::T3(int, int); // expected-error {{cannot befriend target of using declaration}}
|
|
|
54 };
|
|
|
55
|
|
|
56 struct B4 {
|
|
|
57 template<typename T> explicit B4(T, int = 0); // expected-note 2{{here}}
|
|
|
58 };
|
|
|
59 template<typename T> struct T4 : B4 {
|
|
|
60 using B4::B4;
|
|
|
61 template<typename U> T4(U);
|
|
|
62 };
|
|
|
63 template<typename T> struct U4 : T4<T> {
|
|
|
64 using T4<T>::T4;
|
|
|
65 };
|
|
|
66 T4<void> t4a = {0};
|
|
|
67 T4<void> t4b = {0, 0}; // expected-error {{chosen constructor is explicit}}
|
|
|
68 U4<void> u4a = {0};
|
|
|
69 U4<void> u4b = {0, 0}; // expected-error {{chosen constructor is explicit}}
|
