blob: 63fd3df269000131614cd452feb7349a3892f9cc (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
namespace test0 {
template <class T> class A {
class Member {};
};
class B {
template <class T> friend class A<T>::Member;
};
A<int> a;
B b;
}
// rdar://problem/8204127
namespace test1 {
template <class T> struct A;
class C {
static void foo();
template <class T> friend void A<T>::f();
};
template <class T> struct A {
void f() { C::foo(); }
};
template <class T> struct A<T*> {
void f() { C::foo(); }
};
template <> struct A<char> {
void f() { C::foo(); }
};
}
// FIXME: these should fail!
namespace test2 {
template <class T> struct A;
class C {
static void foo();
template <class T> friend void A<T>::g();
};
template <class T> struct A {
void f() { C::foo(); }
};
template <class T> struct A<T*> {
void f() { C::foo(); }
};
template <> struct A<char> {
void f() { C::foo(); }
};
}
// Tests 3, 4 and 5 were all noted in <rdar://problem/8540527>.
namespace test3 {
template <class T> struct A {
struct Inner {
static int foo();
};
};
template <class U> class C {
int i;
template <class T> friend struct A<T>::Inner;
};
template <class T> int A<T>::Inner::foo() {
C<int> c;
c.i = 0;
return 0;
}
int test = A<int>::Inner::foo();
}
namespace test4 {
template <class T> struct X {
template <class U> void operator+=(U);
template <class V>
template <class U>
friend void X<V>::operator+=(U);
};
void test() {
X<int>() += 1.0;
}
}
namespace test5 {
template<template <class> class T> struct A {
template<template <class> class T> friend void A<T>::foo();
};
template <class> struct B {};
template class A<B>;
}
|
