1// RUN: %clang_cc1 -fsyntax-only -verify %s
2template<typename T, typename U = const T> struct Def1;
3
4template<> struct Def1<int> {
5  void foo();
6};
7
8template<> struct Def1<const int> { // expected-note{{previous definition is here}}
9  void bar();
10};
11
12template<> struct Def1<int&> {
13  void wibble();
14};
15
16void 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
23template<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
27template<> struct Def2<int> {
28  void foo();
29};
30
31void test_Def2(Def2<int, int const*> *d2) {
32  d2->foo();
33}
34
35typedef int& int_ref_t;
36Def2<int_ref_t> *d2; // expected-note{{in instantiation of default argument for 'Def2<int &>' required here}}
37
38
39template<> struct Def1<const int, const int> { }; // expected-error{{redefinition of 'Def1<const int>'}}
40
41template<typename T, typename T2 = T&> struct Def3;
42
43template<> struct Def3<int> {
44  void foo();
45};
46
47template<> struct Def3<int&> {
48  void bar();
49};
50
51void test_Def3(Def3<int, int&> *d3a, Def3<int&, int&> *d3b) {
52  d3a->foo();
53  d3b->bar();
54}
55
56
57template<typename T, typename T2 = T[]> struct Def4;
58
59template<> struct Def4<int> {
60  void foo();
61};
62
63void test_Def4(Def4<int, int[]> *d4a) {
64  d4a->foo();
65}
66
67template<typename T, typename T2 = T const[12]> struct Def5;
68
69template<> struct Def5<int> {
70  void foo();
71};
72
73template<> struct Def5<int, int const[13]> {
74  void bar();
75};
76
77void test_Def5(Def5<int, const int[12]> *d5a, Def5<int, const int[13]> *d5b) {
78  d5a->foo();
79  d5b->bar();
80}
81
82template<typename R, typename Arg1, typename Arg2 = Arg1,
83         typename FuncType = R (*)(Arg1, Arg2)>
84  struct Def6;
85
86template<> struct Def6<int, float> {
87  void foo();
88};
89
90template<> struct Def6<bool, int[5], float(double, double)> {
91  void bar();
92};
93
94bool 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