| 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); |
|---|
| 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}} |
|---|
| 70 | |
|---|