Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Douglas Gregor | 904eed3 | 2008-11-10 20:40:00 +0000 | [diff] [blame] | 2 | int f(double); |
| 3 | int f(int); |
| 4 | |
| 5 | int (*pfd)(double) = f; // selects f(double) |
| 6 | int (*pfd2)(double) = &f; // selects f(double) |
| 7 | int (*pfd3)(double) = ((&((f)))); // selects f(double) |
| 8 | int (*pfi)(int) = &f; // selects f(int) |
| 9 | // FIXME: This error message is not very good. We need to keep better |
| 10 | // track of what went wrong when the implicit conversion failed to |
| 11 | // give a better error message here. |
Eli Friedman | a91eb54 | 2009-12-22 02:10:53 +0000 | [diff] [blame] | 12 | int (*pfe)(...) = &f; // expected-error{{cannot initialize a variable of type 'int (*)(...)' with an rvalue of type '<overloaded function type>'}} |
Douglas Gregor | 904eed3 | 2008-11-10 20:40:00 +0000 | [diff] [blame] | 13 | int (&rfi)(int) = f; // selects f(int) |
| 14 | int (&rfd)(double) = f; // selects f(double) |
| 15 | |
| 16 | void g(int (*fp)(int)); // expected-note{{note: candidate function}} |
| 17 | void g(int (*fp)(float)); |
| 18 | void g(int (*fp)(double)); // expected-note{{note: candidate function}} |
| 19 | |
| 20 | int g1(int); |
| 21 | int g1(char); |
| 22 | |
| 23 | int g2(int); |
| 24 | int g2(double); |
| 25 | |
Douglas Gregor | d173b20 | 2009-09-14 22:02:01 +0000 | [diff] [blame] | 26 | template<typename T> T g3(T); |
| 27 | int g3(int); |
| 28 | int g3(char); |
| 29 | |
Douglas Gregor | 904eed3 | 2008-11-10 20:40:00 +0000 | [diff] [blame] | 30 | void g_test() { |
| 31 | g(g1); |
| 32 | g(g2); // expected-error{{call to 'g' is ambiguous; candidates are:}} |
Douglas Gregor | d173b20 | 2009-09-14 22:02:01 +0000 | [diff] [blame] | 33 | g(g3); |
| 34 | } |
| 35 | |
| 36 | template<typename T> T h1(T); |
| 37 | template<typename R, typename A1> R h1(A1); |
Douglas Gregor | 60d9231 | 2009-09-14 22:31:20 +0000 | [diff] [blame] | 38 | int h1(char); |
Douglas Gregor | d173b20 | 2009-09-14 22:02:01 +0000 | [diff] [blame] | 39 | |
Douglas Gregor | 60d9231 | 2009-09-14 22:31:20 +0000 | [diff] [blame] | 40 | void ha(int (*fp)(int)); |
| 41 | void hb(int (*fp)(double)); |
Douglas Gregor | d173b20 | 2009-09-14 22:02:01 +0000 | [diff] [blame] | 42 | |
| 43 | void h_test() { |
Douglas Gregor | 60d9231 | 2009-09-14 22:31:20 +0000 | [diff] [blame] | 44 | ha(h1); |
| 45 | hb(h1); |
Douglas Gregor | 904eed3 | 2008-11-10 20:40:00 +0000 | [diff] [blame] | 46 | } |
Anders Carlsson | 6e8f550 | 2009-10-07 22:26:29 +0000 | [diff] [blame] | 47 | |
| 48 | struct A { }; |
| 49 | void f(void (*)(A *)); |
| 50 | |
| 51 | struct B |
| 52 | { |
| 53 | void g() { f(d); } |
| 54 | void d(void *); |
| 55 | static void d(A *); |
| 56 | }; |