| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | namespace test0 { |
|---|
| 4 | char* p = 0; |
|---|
| 5 | template<class T> T g(T x = &p) { return x; } |
|---|
| 6 | template int g<int>(int); // OK even though &p isn't an int. |
|---|
| 7 | } |
|---|
| 8 | |
|---|
| 9 | // Don't impose access restrictions on explicit instantiations. |
|---|
| 10 | namespace test1 { |
|---|
| 11 | class A { |
|---|
| 12 | class Private {}; |
|---|
| 13 | public: |
|---|
| 14 | typedef Private Public; |
|---|
| 15 | }; |
|---|
| 16 | |
|---|
| 17 | template <class T> class Temp { |
|---|
| 18 | static Temp<A::Public> make() { return Temp<A::Public>(); } |
|---|
| 19 | }; |
|---|
| 20 | template class Temp<A::Private>; |
|---|
| 21 | |
|---|
| 22 | // FIXME: this ought to be an error, but it isn't because Sema is |
|---|
| 23 | // silently failing to create a declaration for the explicit |
|---|
| 24 | // instantiation. |
|---|
| 25 | template class Temp<A::Private> Temp<int>::make(); |
|---|
| 26 | } |
|---|
| 27 | |
|---|
| 28 | // Don't impose access restrictions on explicit specializations, |
|---|
| 29 | // either. This goes here because it's an extension of the rule for |
|---|
| 30 | // explicit instantiations and doesn't have any independent support. |
|---|
| 31 | namespace test2 { |
|---|
| 32 | class A { |
|---|
| 33 | class Private {}; // expected-note {{implicitly declared private here}} |
|---|
| 34 | public: |
|---|
| 35 | typedef Private Public; |
|---|
| 36 | }; |
|---|
| 37 | |
|---|
| 38 | template <class T> class Temp { |
|---|
| 39 | static Temp<A::Public> make(); |
|---|
| 40 | }; |
|---|
| 41 | template <> class Temp<A::Private> { |
|---|
| 42 | public: |
|---|
| 43 | Temp(int x) {} |
|---|
| 44 | }; |
|---|
| 45 | |
|---|
| 46 | template <> class Temp<A::Private> Temp<int>::make() { // expected-error {{'Private' is a private member of 'test2::A'}} |
|---|
| 47 | return Temp<A::Public>(0); |
|---|
| 48 | } |
|---|
| 49 | } |
|---|
| 50 | |
|---|