| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | // expected-no-diagnostics |
|---|
| 3 | |
|---|
| 4 | // C++03 [namespace.udecl]p3: |
|---|
| 5 | // For the purpose of overload resolution, the functions which are |
|---|
| 6 | // introduced by a using-declaration into a derived class will be |
|---|
| 7 | // treated as though they were members of the derived class. In |
|---|
| 8 | // particular, the implicit this parameter shall be treated as if it |
|---|
| 9 | // were a pointer to the derived class rather than to the base |
|---|
| 10 | // class. This has no effect on the type of the function, and in all |
|---|
| 11 | // other respects the function remains a member of the base class. |
|---|
| 12 | |
|---|
| 13 | namespace test0 { |
|---|
| 14 | struct Opaque0 {}; |
|---|
| 15 | struct Opaque1 {}; |
|---|
| 16 | |
|---|
| 17 | struct Base { |
|---|
| 18 | Opaque0 test0(int*); |
|---|
| 19 | Opaque0 test1(const int*); |
|---|
| 20 | Opaque0 test2(int*); |
|---|
| 21 | Opaque0 test3(int*) const; |
|---|
| 22 | }; |
|---|
| 23 | |
|---|
| 24 | struct Derived : Base { |
|---|
| 25 | using Base::test0; |
|---|
| 26 | Opaque1 test0(const int*); |
|---|
| 27 | |
|---|
| 28 | using Base::test1; |
|---|
| 29 | Opaque1 test1(int*); |
|---|
| 30 | |
|---|
| 31 | using Base::test2; |
|---|
| 32 | Opaque1 test2(int*) const; |
|---|
| 33 | |
|---|
| 34 | using Base::test3; |
|---|
| 35 | Opaque1 test3(int*); |
|---|
| 36 | }; |
|---|
| 37 | |
|---|
| 38 | void test0() { |
|---|
| 39 | Opaque0 a = Derived().test0((int*) 0); |
|---|
| 40 | Opaque1 b = Derived().test0((const int*) 0); |
|---|
| 41 | } |
|---|
| 42 | |
|---|
| 43 | void test1() { |
|---|
| 44 | Opaque1 a = Derived().test1((int*) 0); |
|---|
| 45 | Opaque0 b = Derived().test1((const int*) 0); |
|---|
| 46 | } |
|---|
| 47 | |
|---|
| 48 | void test2() { |
|---|
| 49 | Opaque0 a = ((Derived*) 0)->test2((int*) 0); |
|---|
| 50 | Opaque1 b = ((const Derived*) 0)->test2((int*) 0); |
|---|
| 51 | } |
|---|
| 52 | |
|---|
| 53 | void test3() { |
|---|
| 54 | Opaque1 a = ((Derived*) 0)->test3((int*) 0); |
|---|
| 55 | Opaque0 b = ((const Derived*) 0)->test3((int*) 0); |
|---|
| 56 | } |
|---|
| 57 | } |
|---|
| 58 | |
|---|
| 59 | // Typedef redeclaration. |
|---|
| 60 | namespace rdar8018262 { |
|---|
| 61 | typedef void (*fp)(); |
|---|
| 62 | |
|---|
| 63 | namespace N { |
|---|
| 64 | typedef void (*fp)(); |
|---|
| 65 | } |
|---|
| 66 | |
|---|
| 67 | using N::fp; |
|---|
| 68 | |
|---|
| 69 | fp fp_1; |
|---|
| 70 | } |
|---|
| 71 | |
|---|
| 72 | // Things to test: |
|---|
| 73 | // member operators |
|---|
| 74 | // conversion operators |
|---|
| 75 | // call operators |
|---|
| 76 | // call-surrogate conversion operators |
|---|
| 77 | // everything, but in dependent contexts |
|---|
| 78 | |
|---|