blob: 41d3a6a487e0869e2572b1d24f00be9cf87b26ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// { dg-do assemble }
// by Alexandre Oliva <oliva@dcc.unicamp.br>
// I'm not 100% sure this program is correct, but g++ shouldn't just
// crash.
// The idea is to give privileged access to bar<A> only to
// specializations foo<A,B>, for all B.
template <class A, class B> void foo();
template <class C> class bar {
int i; // { dg-error "" } private
template <class B> friend void foo<C,B>(); // { dg-error "" } bogus declaration
};
template <class A, class B> void foo() {
bar<A> baz; baz.i = 1; // { dg-error "" } foo cannot access bar<int>::i
bar<int> buz; buz.i = 1; // { dg-error "" } foo cannot access bar<int>::i
}
int main() {
foo<void,void>();
foo<int,void>();
}
|