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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
namespace test0 {
struct A {
void foo(void (A::*)(int)); // expected-note {{passing argument to parameter here}}
template<typename T> void g(T);
void test() {
foo(&g<int>); // expected-error-re {{cannot form member pointer of type 'void (test0::A::*)(int){{( __attribute__\(\(thiscall\)\))?}}' without '&' and class name}}
}
};
}
// 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);
}
};
}
namespace test2 {
struct A {
static int foo(short);
static int foo(float);
int foo(int);
int foo(double);
void test();
};
void A::test() {
// FIXME: The error message in this case is less than clear, we can do
// better.
int (A::*ptr)(int) = &(A::foo); // expected-error {{cannot create a non-constant pointer to member function}}
}
}
namespace GH40906 {
struct S {
int x;
void func();
static_assert(__is_same_as(decltype((S::x)), int&), "");
static_assert(__is_same_as(decltype(&(S::x)), int*), "");
// FIXME: provide better error messages
static_assert(__is_same_as(decltype((S::func)), int&), ""); // expected-error {{call to non-static member function without an object argument}}
static_assert(__is_same_as(decltype(&(S::func)), int*), ""); // expected-error {{call to non-static member function without an object argument}}
};
static_assert(__is_same_as(decltype((S::x)), int&), "");
static_assert(__is_same_as(decltype(&(S::x)), int*), "");
static_assert(__is_same_as(decltype((S::func)), int&), ""); // expected-error {{call to non-static member function without an object argument}}
static_assert(__is_same_as(decltype(&(S::func)), int*), ""); // expected-error {{call to non-static member function without an object argument}}
struct A { int x;};
char q(int *);
short q(int A::*);
template <typename T>
constexpr int f(char (*)[sizeof(q(&T::x))]) { return 1; }
template <typename T>
constexpr int f(char (*)[sizeof(q(&(T::x)))]) { return 2; }
constexpr int g(char (*p)[sizeof(char)] = 0) { return f<A>(p); }
constexpr int h(char (*p)[sizeof(short)] = 0) { return f<A>(p); }
static_assert(g() == 2);
static_assert(h() == 1);
}
|
