gcc/testsuite/g++.old-deja/g++.pt/spec21.C

   1 // { dg-do assemble  }
   2
   3 template <class T> struct S {};
   4 template <class T = int> struct S<T*> {}; // { dg-error "" } default argument
   5
   6 template <int I, int J> struct A {};
   7 template <int I> struct A<I+5, I*2> {}; // { dg-error "" } argument involves parameter
   8
   9 template <class T, T t> struct C {};
  10 template <class T> struct C<T, 1>;  // { dg-error "" } type depends on parameter
  11 int i;
  12 template <class T> struct C<T*, &i>; // { dg-error "" } type depends on parameter
  13
  14 template< int X, int (*array_ptr)[X] > class B {};
  15 int array[5];
  16 template< int X > class B<X,&array> { }; // { dg-error "" } type depends on parameter