1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 // This is the function actually selected during overload resolution, and the
4 // only one defined.
5 template <typename T> void f(T*, int) {}
6 
7 template <typename T> struct S;
8 template <typename T> struct S_ : S<T> { typedef int type; }; // expected-note{{in instantiation}}
9 template <typename T> struct S {
10   // Force T to have a complete type here so we can observe instantiations with
11   // incomplete types.
12   T t; // expected-error{{field has incomplete type}}
13 };
14 
15 // Provide a bad class and an overload that instantiates templates with it.
16 class NoDefinition; // expected-note{{forward declaration}}
17 template <typename T> S_<NoDefinition>::type f(T*, NoDefinition*); // expected-note{{in instantiation}}
18 
19 void test(int x) {
20   f(&x, 0);
21 }
22 
23 // Ensure that we instantiate an overloaded function if it's selected by
24 // overload resolution when initializing a function pointer.
25 template<typename T> struct X {
26   static T f() { T::error; } // expected-error {{has no members}}
27   static T f(bool);
28 };
29 void (*p)() = &X<void>::f; // expected-note {{instantiation of}}
30 
31 namespace PR13098 {
32   struct A {
33     A(int);
34     void operator++() {}
35     void operator+(int) {}
36     void operator+(A) {}
37     void operator[](int) {}
38     void operator[](A) {}
39   };
40   struct B : A {
41     using A::operator++;
42     using A::operator+;
43     using A::operator[];
44   };
45   template<typename T> void f(B b) {
46     ++b;
47     b + 0;
48     b[0];
49   }
50   template void f<void>(B);
51 }
52