p2-resolve-single-template-id.cpp revision fb8721ce4c6fef3739b1cbd1e38e3f1949462033 
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3typedef __typeof__(((int*)0)-((int*)0)) ptrdiff_t;
4
5namespace DontResolveTooEarly_WaitForOverloadResolution
6{
7  template <class T> T* f(int);	// #1
8  template <class T, class U> T& f(U); // #2
9
10  void g() {
11    int *ip = f<int>(1);	// calls #1
12  }
13
14  template <class T>
15    T* f2(int);
16  template <class T, class U>
17    T& f2(U);
18
19  void g2() {
20    int*ip = (f2<int>)(1); // ok
21  }
22
23} // End namespace
24
25namespace DontAllowUnresolvedOverloadedExpressionInAnUnusedExpression
26{
27  void one() { }
28  template<class T> void oneT() { }
29
30  void two() { } //expected-note 2{{candidate}}
31  void two(int) { } //expected-note 2{{candidate}}
32  template<class T> void twoT() { } //expected-note 2{{candidate}}
33  template<class T> void twoT(T) { } //expected-note 2{{candidate}}
34
35  void check()
36  {
37    one; // expected-warning {{expression result unused}}
38    two; // expected-error{{cannot resolve overloaded function 'two' from context}}
39    oneT<int>; // expected-warning {{expression result unused}}
40    twoT<int>; // expected-error {{cannot resolve overloaded function 'twoT' from context}}
41  }
42
43  // check the template function case
44  template<class T> void check()
45  {
46    one; // expected-warning {{expression result unused}}
47    two; // expected-error{{cannot resolve overloaded function 'two' from context}}
48    oneT<int>; // expected-warning {{expression result unused}}
49    twoT<int>; // expected-error {{cannot resolve overloaded function 'twoT' from context}}
50
51  }
52
53}
54
55  template<typename T>
56    void twoT() { }
57  template<typename T, typename U>
58    void twoT(T) { }
59
60
61  void two() { }; //expected-note 5{{candidate}}
62  void two(int) { }; //expected-note 5{{candidate}}
63
64
65
66  void one() { }
67  template<class T>
68    void oneT() { }
69
70  template<class T>
71  void cant_resolve() { } //expected-note 3{{candidate}}
72
73  template<class T> void cant_resolve(T) { }//expected-note 3{{candidate}}
74
75
76int main()
77{
78
79  { static_cast<void>(one); }
80  { (void)(one); }
81  { static_cast<void>(oneT<int>); }
82  { (void)(oneT<int>); }
83
84  { static_cast<void>(two); } // expected-error {{address of overloaded function 'two' cannot be static_cast to type 'void'}}
85  { (void)(two); } // expected-error {{address of overloaded function 'two' cannot be cast to type 'void'}}
86  { static_cast<void>(twoT<int>); }
87  { (void)(twoT<int>); }
88
89
90  { ptrdiff_t x = reinterpret_cast<ptrdiff_t>(oneT<int>); }
91  { (void) reinterpret_cast<int (*)(char, double)>(oneT<int>); }
92  { (void) reinterpret_cast<ptrdiff_t>(one); }
93  { (void) reinterpret_cast<int (*)(char, double)>(one); }
94
95  { ptrdiff_t x = reinterpret_cast<ptrdiff_t>(twoT<int>); }
96  { (void) reinterpret_cast<int (*)(char, double)>(twoT<int>); }
97  { (void) reinterpret_cast<void (*)(int)>(two); } //expected-error {{reinterpret_cast}}
98  { (void) static_cast<void (*)(int)>(two); } //ok
99
100  { (void) reinterpret_cast<int>(two); } //expected-error {{reinterpret_cast}}
101  { (void) reinterpret_cast<int (*)(char, double)>(two); } //expected-error {{reinterpret_cast}}
102
103  { bool b = (twoT<int>); } // ok
104  { bool b = (twoT<int, int>); } //ok
105
106  { bool b = &twoT<int>; //&foo<int>; }
107    b = &(twoT<int>); }
108
109  { ptrdiff_t x = (ptrdiff_t) &twoT<int>;
110      x = (ptrdiff_t) &twoT<int>; }
111
112  { ptrdiff_t x = (ptrdiff_t) twoT<int>;
113      x = (ptrdiff_t) twoT<int>; }
114
115
116  { ptrdiff_t x = (ptrdiff_t) &twoT<int,int>;
117  x = (ptrdiff_t) &twoT<int>; }
118
119  { oneT<int>;   &oneT<int>; } //expected-warning 2{{ expression result unused }}
120  { static_cast<void>(cant_resolve<int>); } // expected-error {{address of overload}}
121  { bool b = cant_resolve<int>; } // expected-error {{address of overload}}
122  { (void) cant_resolve<int>; } // expected-error {{address of overload}}
123
124}
125
126namespace member_pointers {
127  struct S {
128    template <typename T> bool f(T) { return false; }
129    template <typename T> static bool g(T) { return false; }
130
131    template <typename T> bool h(T) { return false; }
132    template <int N> static bool h(int) { return false; }
133  };
134
135  void test(S s) {
136    if (S::f<char>) return; // expected-error {{call to non-static member function without an object argument}}
137    if (S::f<int>) return; // expected-error {{call to non-static member function without an object argument}}
138    if (&S::f<char>) return;
139    if (&S::f<int>) return;
140    if (s.f<char>) return; // expected-error {{contextually convertible}}
141    if (s.f<int>) return; // expected-error {{contextually convertible}}
142    if (&s.f<char>) return; // expected-error {{contextually convertible}}
143    if (&s.f<int>) return; // expected-error {{contextually convertible}}
144
145    if (S::g<char>) return;
146    if (S::g<int>) return;
147    if (&S::g<char>) return;
148    if (&S::g<int>) return;
149    if (s.g<char>) return;
150    if (s.g<int>) return;
151    if (&s.g<char>) return;
152    if (&s.g<int>) return;
153
154    if (S::h<42>) return;
155    if (S::h<int>) return; // expected-error {{contextually convertible}}
156    if (&S::h<42>) return;
157    if (&S::h<int>) return;
158    if (s.h<42>) return;
159    if (s.h<int>) return; // expected-error {{contextually convertible}}
160    if (&s.h<42>) return;
161    if (&s.h<int>) return; // expected-error {{contextually convertible}}
162
163    { bool b = S::f<char>; } // expected-error {{call to non-static member function without an object argument}}
164    { bool b = S::f<int>; } // expected-error {{call to non-static member function without an object argument}}
165    { bool b = &S::f<char>; }
166    { bool b = &S::f<int>; }
167    { bool b = s.f<char>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
168    { bool b = s.f<int>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
169    { bool b = &s.f<char>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
170    { bool b = &s.f<int>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
171
172    { bool b = S::g<char>; }
173    { bool b = S::g<int>; }
174    { bool b = &S::g<char>; }
175    { bool b = &S::g<int>; }
176    { bool b = s.g<char>; }
177    { bool b = s.g<int>; }
178    { bool b = &s.g<char>; }
179    { bool b = &s.g<int>; }
180
181    { bool b = S::h<42>; }
182    { bool b = S::h<int>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
183    { bool b = &S::h<42>; }
184    { bool b = &S::h<int>; }
185    { bool b = s.h<42>; }
186    { bool b = s.h<int>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
187    { bool b = &s.h<42>; }
188    { bool b = &s.h<int>; } // expected-error {{can't form member pointer of type 'bool' without '&' and class name}}
189  }
190}
191