// PR c++/22173
|
// PR c++/22173
|
|
|
struct A
|
struct A
|
{
|
{
|
static void a1();
|
static void a1();
|
template
|
template
|
static void b1(T);
|
static void b1(T);
|
template
|
template
|
struct B {
|
struct B {
|
static void b1();
|
static void b1();
|
template
|
template
|
static void b2(T);
|
static void b2(T);
|
};
|
};
|
struct C {
|
struct C {
|
static void c1();
|
static void c1();
|
};
|
};
|
};
|
};
|
|
|
template void f1()
|
template void f1()
|
{
|
{
|
A* p;
|
A* p;
|
A::template a1(); // { dg-error "template" }
|
A::template a1(); // { dg-error "template" }
|
A::template b1(0);
|
A::template b1(0);
|
p->template a1(); // { dg-error "template" }
|
p->template a1(); // { dg-error "template" }
|
p->template b1('a');
|
p->template b1('a');
|
|
|
A::template B<0>::b1();
|
A::template B<0>::b1();
|
A::template B<0>::template b1(); // { dg-error "template" }
|
A::template B<0>::template b1(); // { dg-error "template" }
|
A::template B<0>::template b2(0);
|
A::template B<0>::template b2(0);
|
A::template B<0>::template b2(0);
|
A::template B<0>::template b2(0);
|
|
|
// Because B is dependent, none of these are errors, as this
|
// Because B is dependent, none of these are errors, as this
|
// function is not instantiated.
|
// function is not instantiated.
|
A::template B::b1();
|
A::template B::b1();
|
A::template B::template b1();
|
A::template B::template b1();
|
A::template B::template b2(0);
|
A::template B::template b2(0);
|
A::template B::template b2(0);
|
A::template B::template b2(0);
|
|
|
A::template C::c1(); // { dg-error "template" }
|
A::template C::c1(); // { dg-error "template" }
|
}
|
}
|
|
|
template void f2()
|
template void f2()
|
{
|
{
|
// These are copies of lines from f1, but this function is
|
// These are copies of lines from f1, but this function is
|
// instantiated, so we should get errors here.
|
// instantiated, so we should get errors here.
|
A::template B::b1();
|
A::template B::b1();
|
A::template B::template b1(); // { dg-error "template" }
|
A::template B::template b1(); // { dg-error "template" }
|
A::template B::template b2(0);
|
A::template B::template b2(0);
|
A::template B::template b2(0);
|
A::template B::template b2(0);
|
}
|
}
|
|
|
template void f2<0>(); // { dg-message "instantiated" }
|
template void f2<0>(); // { dg-message "instantiated" }
|
|
|
