OSDN Git Service

Fix PR c++/47398
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / g++.dg / template / typedef37.C
1 // Origin: PR c++/47398
2 // { dg-do compile }
3
4 template<int>
5 struct A
6 {
7   typedef int INT;
8 };
9
10 template<int I>
11 struct transform
12 {
13   static int bar();
14 };
15
16 template<class T, int a, class U, int b>
17 struct B
18 {
19   typedef typename A<a>::INT TINT;
20   void baz();
21 };
22
23 template<class T, int a, class U>
24 struct B<T, a, U, 1>
25 {
26   typedef typename A<a>::INT TINT;
27   void foo();
28 };
29
30 template<class T, int a, class U, int b>
31 void
32 B<T, a, U, b>::baz()
33 {
34   int c = transform<sizeof(TINT)>::bar();//#0
35 }
36
37 template<class T, int a, class U>
38 void
39 B<T, a, U, 1>::foo()
40 {
41   int c = transform<sizeof(TINT)>::bar();//#1
42 }
43
44 int
45 main()
46 {
47   B<int, 2, char, 1> i;
48   i.foo();
49   // While instantiating
50   //
51   //   template<class T, int a, class U> void B<T, a, U, 1>::foo()
52   //
53   // lookup_template_class resolves transform<sizeof(TINT)> in #1 to
54   // the wrong one; it picks up the one in #0 instead. This is because
55   // to compare the two A<a> comp_template_args uses cp_tree_equal
56   // that fails to consider the number of siblings of parm 'a'.
57 return 0;
58 }