This commit was manufactured by cvs2svn to create branch

'gcc-3_2-branch'.

From-SVN: r64436
This commit is contained in:
No Author 2003-03-16 14:28:43 +00:00
parent b0abfc2dec
commit d48bc49dde
3 changed files with 106 additions and 0 deletions

View File

@ -0,0 +1,27 @@
// { dg-do compile }
// PR c++/6440: Specialization of member class template.
template<class T> struct A
{
template<class U> struct B {};
};
template<> template<class U>
struct A<int>::B
{
void f();
template <class V> void g(V);
};
template<> template<> template <class V> void A<int>::B<char>::g(V)
{
}
A<int>::B<char> b;
int h()
{
b.f();
b.g(0);
}

View File

@ -0,0 +1,11 @@
// { dg-do compile }
// Specialization of member class template.
template<class T1> struct A
{
template<class T2> struct B {};
};
template <> template <> struct A<int>::B<int> {};
template <> template <class U> struct A<int>::B {}; // { dg-error "specialization" }

View File

@ -0,0 +1,68 @@
struct A
{
unsigned long p, q, r, s;
} x = { 13, 14, 15, 16 };
extern void abort (void);
extern void exit (int);
static inline struct A *
bar (void)
{
struct A *r;
switch (8)
{
case 2:
abort ();
break;
case 8:
r = &x;
break;
default:
abort ();
break;
}
return r;
}
void
foo (unsigned long *x, int y)
{
if (y != 12)
abort ();
if (x[0] != 1 || x[1] != 11)
abort ();
if (x[2] != 2 || x[3] != 12)
abort ();
if (x[4] != 3 || x[5] != 13)
abort ();
if (x[6] != 4 || x[7] != 14)
abort ();
if (x[8] != 5 || x[9] != 15)
abort ();
if (x[10] != 6 || x[11] != 16)
abort ();
}
int
main (void)
{
unsigned long a[40];
int b = 0;
a[b++] = 1;
a[b++] = 11;
a[b++] = 2;
a[b++] = 12;
a[b++] = 3;
a[b++] = bar()->p;
a[b++] = 4;
a[b++] = bar()->q;
a[b++] = 5;
a[b++] = bar()->r;
a[b++] = 6;
a[b++] = bar()->s;
foo (a, b);
exit (0);
}