// { dg-do run } // Although template class B is not used at all, it causes the // incorrect specialization of A to be selected // Adapted from testcase by Oskar Enoksson <osken393@student.liu.se> extern "C" void abort(); template<int N, class T> // Base class class A { public: static int n() { return sizeof(T); } }; template<int N> // Derived #1 class B: public A<N,char[N]> {}; template<int N, int M> // Derived #2 (wrong!) class C: public A<N,char[M]> {}; int main() { if (C<1,2>::n() != 2) abort(); }