blob: 97127ea0f0dbd7194e9d9cdfa1c8d46bc093560b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// { 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();
}
|
