1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 template<typename T, typename U = const T> struct Def1;
3 
4 template<> struct Def1<int> {
5   void foo();
6 };
7 
8 template<> struct Def1<const int> { // expected-note{{previous definition is here}}
9   void bar();
10 };
11 
12 template<> struct Def1<int&> {
13   void wibble();
14 };
15 
16 void test_Def1(Def1<int, const int> *d1, Def1<const int, const int> *d2,
17                Def1<int&, int&> *d3) {
18   d1->foo();
19   d2->bar();
20   d3->wibble();
21 }
22 
23 template<typename T,  // FIXME: bad error message below, needs better location info
24          typename T2 = const T*>  // expected-error{{'T2' declared as a pointer to a reference}}
25   struct Def2;
26 
27 template<> struct Def2<int> {
28   void foo();
29 };
30 
31 void test_Def2(Def2<int, int const*> *d2) {
32   d2->foo();
33 }
34 
35 typedef int& int_ref_t;
36 Def2<int_ref_t> *d2; // expected-note{{in instantiation of default argument for 'Def2<int &>' required here}}
37 
38 
39 template<> struct Def1<const int, const int> { }; // expected-error{{redefinition of 'Def1<const int>'}}
40 
41 template<typename T, typename T2 = T&> struct Def3;
42 
43 template<> struct Def3<int> {
44   void foo();
45 };
46 
47 template<> struct Def3<int&> {
48   void bar();
49 };
50 
51 void test_Def3(Def3<int, int&> *d3a, Def3<int&, int&> *d3b) {
52   d3a->foo();
53   d3b->bar();
54 }
55 
56 
57 template<typename T, typename T2 = T[]> struct Def4;
58 
59 template<> struct Def4<int> {
60   void foo();
61 };
62 
63 void test_Def4(Def4<int, int[]> *d4a) {
64   d4a->foo();
65 }
66 
67 template<typename T, typename T2 = T const[12]> struct Def5;
68 
69 template<> struct Def5<int> {
70   void foo();
71 };
72 
73 template<> struct Def5<int, int const[13]> {
74   void bar();
75 };
76 
77 void test_Def5(Def5<int, const int[12]> *d5a, Def5<int, const int[13]> *d5b) {
78   d5a->foo();
79   d5b->bar();
80 }
81 
82 template<typename R, typename Arg1, typename Arg2 = Arg1,
83          typename FuncType = R (*)(Arg1, Arg2)>
84   struct Def6;
85 
86 template<> struct Def6<int, float> {
87   void foo();
88 };
89 
90 template<> struct Def6<bool, int[5], float(double, double)> {
91   void bar();
92 };
93 
94 bool test_Def6(Def6<int, float, float> *d6a,
95                Def6<int, float, float, int (*)(float, float)> *d6b,
96                Def6<bool, int[5], float(double, double),
97                     bool(*)(int*, float(*)(double, double))> *d6c) {
98   d6a->foo();
99   d6b->foo();
100   d6c->bar();
101   return d6a == d6b;
102 }
103