1 // RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11
2
3 namespace simple {
4 int Foo(void *const p __attribute__((pass_object_size(0))));
5
6 int OvlFoo(void *const p __attribute__((pass_object_size(0))));
7 int OvlFoo(void *const p, int);
8
9 struct Statics {
10 static int Foo(void *const p __attribute__((pass_object_size(0))));
11 static int OvlFoo(void *const p __attribute__((pass_object_size(0))));
12 static int OvlFoo(void *const p __attribute__((pass_object_size(1)))); // expected-error{{conflicting pass_object_size attributes on parameters}} expected-note@-1{{previous declaration is here}}
13 static int OvlFoo(double *p);
14 };
15
16 struct Members {
17 int Foo(void *const p __attribute__((pass_object_size(0))));
18 int OvlFoo(void *const p __attribute__((pass_object_size(0))));
19 int OvlFoo(void *const p, int);
20 };
21
Decls()22 void Decls() {
23 int (*A)(void *) = &Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
24 int (*B)(void *) = Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
25
26 int (*C)(void *) = &OvlFoo; //expected-error{{address of overloaded function 'OvlFoo' does not match required type 'int (void *)'}} expected-note@6{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@7{{candidate function has different number of parameters (expected 1 but has 2)}}
27 int (*D)(void *) = OvlFoo; //expected-error{{address of overloaded function 'OvlFoo' does not match required type 'int (void *)'}} expected-note@6{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@7{{candidate function has different number of parameters (expected 1 but has 2)}}
28
29 int (*E)(void *) = &Statics::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
30 int (*F)(void *) = &Statics::OvlFoo; //expected-error{{address of overloaded function 'OvlFoo' does not match required type 'int (void *)'}} expected-note@11{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@13{{candidate function has type mismatch at 1st parameter (expected 'void *' but has 'double *')}}
31
32 int (*G)(void *) = &Members::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
33 int (*H)(void *) = &Members::OvlFoo; //expected-error{{address of overloaded function 'OvlFoo' does not match required type 'int (void *)'}} expected-note@18{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@19{{candidate function has different number of parameters (expected 1 but has 2)}}
34 }
35
Assigns()36 void Assigns() {
37 int (*A)(void *);
38 A = &Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
39 A = Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
40
41 A = &OvlFoo; //expected-error{{assigning to 'int (*)(void *)' from incompatible type '<overloaded function type>'}} expected-note@6{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@7{{candidate function has different number of parameters (expected 1 but has 2)}}
42 A = OvlFoo; //expected-error{{assigning to 'int (*)(void *)' from incompatible type '<overloaded function type>'}} expected-note@6{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@7{{candidate function has different number of parameters (expected 1 but has 2)}}
43
44 A = &Statics::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
45 A = &Statics::OvlFoo; //expected-error{{assigning to 'int (*)(void *)' from incompatible type '<overloaded function type>'}} expected-note@11{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@13{{candidate function has type mismatch at 1st parameter (expected 'void *' but has 'double *')}}
46
47 int (Members::*M)(void *);
48 M = &Members::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}}
49 M = &Members::OvlFoo; //expected-error-re{{assigning to '{{.*}}' from incompatible type '<overloaded function type>'}} expected-note@18{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@19{{candidate function has different number of parameters (expected 1 but has 2)}}
50 }
51
52 } // namespace simple
53
54 namespace templates {
55 template <typename T>
Foo(void * const)56 int Foo(void *const __attribute__((pass_object_size(0)))) {
57 return 0;
58 }
59
60 template <typename T> struct Bar {
61 template <typename U>
Footemplates::Bar62 int Foo(void *const __attribute__((pass_object_size(0)))) {
63 return 0;
64 }
65 };
66
Decls()67 void Decls() {
68 int (*A)(void *) = &Foo<void*>; //expected-error{{address of overloaded function 'Foo' does not match required type 'int (void *)'}} expected-note@56{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}}
69 int (Bar<int>::*B)(void *) = &Bar<int>::Foo<double>; //expected-error{{address of overloaded function 'Foo' does not match required type}} expected-note@62{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}}
70 }
71
Assigns()72 void Assigns() {
73 int (*A)(void *);
74 A = &Foo<void*>; // expected-error{{assigning to 'int (*)(void *)' from incompatible type '<overloaded function type>'}} expected-note@56{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}}
75 int (Bar<int>::*B)(void *) = &Bar<int>::Foo<double>; //expected-error{{address of overloaded function 'Foo' does not match required type}} expected-note@62{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}}
76 }
77 } // namespace templates
78
79 namespace virt {
80 struct Foo {
81 virtual void DoIt(void *const p __attribute__((pass_object_size(0))));
82 };
83
84 struct Bar : public Foo {
85 void DoIt(void *const p __attribute__((pass_object_size(0)))) override; // OK
86 };
87
88 struct Baz : public Foo {
89 void DoIt(void *const p) override; //expected-error{{non-virtual member function marked 'override' hides virtual member function}} expected-note@81{{hidden overloaded virtual function 'virt::Foo::DoIt' declared here}}
90 };
91 }
92
93 namespace why {
94 void TakeFn(void (*)(int, void *));
95 void ObjSize(int, void *const __attribute__((pass_object_size(0))));
96
Check()97 void Check() {
98 TakeFn(ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
99 TakeFn(&ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
100 TakeFn(*ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
101 TakeFn(*****ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
102 TakeFn(*****&ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
103
104 void (*P)(int, void *) = ****ObjSize; //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
105 P = ****ObjSize; //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
106
107 TakeFn((ObjSize)); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
108 TakeFn((void*)ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
109 TakeFn((decltype(P))((void*)ObjSize)); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}}
110 }
111 }
112
113 namespace constexpr_support {
getObjSizeType()114 constexpr int getObjSizeType() { return 0; }
115 void Foo(void *p __attribute__((pass_object_size(getObjSizeType()))));
116 }
117
118 namespace lambdas {
Bar()119 void Bar() {
120 (void)+[](void *const p __attribute__((pass_object_size(0)))) {}; //expected-error-re{{invalid argument type '(lambda at {{.*}})' to unary expression}}
121 }
122 }
123
124 namespace ovlbug {
125 // Directly calling an address-of function expression (e.g. in (&foo)(args...))
126 // doesn't go through regular address-of-overload logic. This caused the above
127 // code to generate an ICE.
128 void DirectAddrOf(void *__attribute__((pass_object_size(0))));
129 void DirectAddrOfOvl(void *__attribute__((pass_object_size(0))));
130 void DirectAddrOfOvl(int *);
131
Test()132 void Test() {
133 (&DirectAddrOf)(nullptr); //expected-error{{cannot take address of function 'DirectAddrOf' because parameter 1 has pass_object_size attribute}}
134 (&DirectAddrOfOvl)((char*)nullptr); //expected-error{{no matching function}} expected-note@129{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} expected-note@130{{candidate function not viable: no known conversion from 'char *' to 'int *' for 1st argument}}
135 }
136 }
137