blob: 170c734fd30796b6d22a072a787d2a25339c110f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
// rdar://problem/8347416
namespace test0 {
struct A {
void foo(void (A::*)(int)); // expected-note {{passing argument to parameter here}}
template<typename T> void g(T);
void test() {
// FIXME: this diagnostic is terrible
foo(&g<int>); // expected-error {{cannot initialize a parameter of type 'void (test0::A::*)(int)' with an rvalue of type '<overloaded function type>'}}
}
};
}
// This should succeed.
namespace test1 {
struct A {
static void f(void (A::*)());
static void f(void (*)(int));
void g();
static void g(int);
void test() {
f(&g);
}
};
}
// Also rdar://problem/8347416
namespace test2 {
struct A {
static int foo(short);
static int foo(float);
int foo(int);
int foo(double);
void test();
};
void A::test() {
// FIXME: This diagnostic is terrible.
int (A::*ptr)(int) = &(A::foo); // expected-error {{cannot initialize a variable of type 'int (test2::A::*)(int)' with an rvalue of type '<overloaded function type>'}}
}
}
|
