head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RC6:1.1.1.2 netbsd-11-0-RC5:1.1.1.2 netbsd-11-0-RC4:1.1.1.2 netbsd-11-0-RC3:1.1.1.2 netbsd-11-0-RC2:1.1.1.2 netbsd-11-0-RC1:1.1.1.2 perseant-exfatfs-base-20250801:1.1.1.2 netbsd-11:1.1.1.2.0.10 netbsd-11-base:1.1.1.2 netbsd-10-1-RELEASE:1.1.1.2 perseant-exfatfs-base-20240630:1.1.1.2 perseant-exfatfs:1.1.1.2.0.8 perseant-exfatfs-base:1.1.1.2 netbsd-8-3-RELEASE:1.1.1.1 netbsd-9-4-RELEASE:1.1.1.1 netbsd-10-0-RELEASE:1.1.1.2 netbsd-10-0-RC6:1.1.1.2 netbsd-10-0-RC5:1.1.1.2 netbsd-10-0-RC4:1.1.1.2 netbsd-10-0-RC3:1.1.1.2 netbsd-10-0-RC2:1.1.1.2 netbsd-10-0-RC1:1.1.1.2 netbsd-10:1.1.1.2.0.6 netbsd-10-base:1.1.1.2 netbsd-9-3-RELEASE:1.1.1.1 cjep_sun2x:1.1.1.2.0.4 cjep_sun2x-base:1.1.1.2 cjep_staticlib_x-base1:1.1.1.2 netbsd-9-2-RELEASE:1.1.1.1 cjep_staticlib_x:1.1.1.2.0.2 cjep_staticlib_x-base:1.1.1.2 netbsd-9-1-RELEASE:1.1.1.1 phil-wifi-20200421:1.1.1.2 phil-wifi-20200411:1.1.1.2 phil-wifi-20200406:1.1.1.2 netbsd-8-2-RELEASE:1.1.1.1 netbsd-9-0-RELEASE:1.1.1.1 netbsd-9-0-RC2:1.1.1.1 netbsd-9-0-RC1:1.1.1.1 netbsd-9:1.1.1.1.0.18 netbsd-9-base:1.1.1.1 phil-wifi-20190609:1.1.1.1 netbsd-8-1-RELEASE:1.1.1.1 netbsd-8-1-RC1:1.1.1.1 pgoyette-compat-merge-20190127:1.1.1.1 pgoyette-compat-20190127:1.1.1.1 pgoyette-compat-20190118:1.1.1.1 pgoyette-compat-1226:1.1.1.1 pgoyette-compat-1126:1.1.1.1 pgoyette-compat-1020:1.1.1.1 pgoyette-compat-0930:1.1.1.1 pgoyette-compat-0906:1.1.1.1 pgoyette-compat-0728:1.1.1.1 clang-337282:1.1.1.1 netbsd-8-0-RELEASE:1.1.1.1 phil-wifi:1.1.1.1.0.16 phil-wifi-base:1.1.1.1 pgoyette-compat-0625:1.1.1.1 netbsd-8-0-RC2:1.1.1.1 pgoyette-compat-0521:1.1.1.1 pgoyette-compat-0502:1.1.1.1 pgoyette-compat-0422:1.1.1.1 netbsd-8-0-RC1:1.1.1.1 pgoyette-compat-0415:1.1.1.1 pgoyette-compat-0407:1.1.1.1 pgoyette-compat-0330:1.1.1.1 pgoyette-compat-0322:1.1.1.1 pgoyette-compat-0315:1.1.1.1 pgoyette-compat:1.1.1.1.0.14 pgoyette-compat-base:1.1.1.1 clang-319952:1.1.1.1 matt-nb8-mediatek:1.1.1.1.0.12 matt-nb8-mediatek-base:1.1.1.1 clang-309604:1.1.1.1 perseant-stdc-iso10646:1.1.1.1.0.10 perseant-stdc-iso10646-base:1.1.1.1 netbsd-8:1.1.1.1.0.8 netbsd-8-base:1.1.1.1 prg-localcount2-base3:1.1.1.1 prg-localcount2-base2:1.1.1.1 prg-localcount2-base1:1.1.1.1 prg-localcount2:1.1.1.1.0.6 prg-localcount2-base:1.1.1.1 pgoyette-localcount-20170426:1.1.1.1 bouyer-socketcan-base1:1.1.1.1 pgoyette-localcount-20170320:1.1.1.1 clang-294123:1.1.1.1 bouyer-socketcan:1.1.1.1.0.4 bouyer-socketcan-base:1.1.1.1 clang-291444:1.1.1.1 pgoyette-localcount-20170107:1.1.1.1 pgoyette-localcount-20161104:1.1.1.1 localcount-20160914:1.1.1.1 clang-280599:1.1.1.1 pgoyette-localcount-20160806:1.1.1.1 pgoyette-localcount-20160726:1.1.1.1 pgoyette-localcount:1.1.1.1.0.2 pgoyette-localcount-base:1.1.1.1 clang-261930:1.1.1.1 LLVM:1.1.1; locks; strict; comment @// @; 1.1 date 2016.02.27.22.10.15; author joerg; state Exp; branches 1.1.1.1; next ; commitid tIimz3oDlh1NpBWy; 1.1.1.1 date 2016.02.27.22.10.15; author joerg; state Exp; branches 1.1.1.1.16.1; next 1.1.1.2; commitid tIimz3oDlh1NpBWy; 1.1.1.2 date 2019.11.13.22.22.55; author joerg; state dead; branches; next ; commitid QD8YATxuNG34YJKB; 1.1.1.1.16.1 date 2020.04.13.07.50.23; author martin; state dead; branches; next ; commitid X01YhRUPVUDaec4C; desc @@ 1.1 log @Initial revision @ text @// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11 namespace simple { int Foo(void *const p __attribute__((pass_object_size(0)))); int OvlFoo(void *const p __attribute__((pass_object_size(0)))); int OvlFoo(void *const p, int); struct Statics { static int Foo(void *const p __attribute__((pass_object_size(0)))); static int OvlFoo(void *const p __attribute__((pass_object_size(0)))); 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}} static int OvlFoo(double *p); }; struct Members { int Foo(void *const p __attribute__((pass_object_size(0)))); int OvlFoo(void *const p __attribute__((pass_object_size(0)))); int OvlFoo(void *const p, int); }; void Decls() { int (*A)(void *) = &Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} int (*B)(void *) = Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} 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)}} 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)}} int (*E)(void *) = &Statics::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} 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 *')}} int (*G)(void *) = &Members::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} 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)}} } void Assigns() { int (*A)(void *); A = &Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} A = Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} A = &OvlFoo; //expected-error{{assigning to 'int (*)(void *)' from incompatible 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)}} A = OvlFoo; //expected-error{{assigning to 'int (*)(void *)' from incompatible 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)}} A = &Statics::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} A = &Statics::OvlFoo; //expected-error{{assigning to 'int (*)(void *)' from incompatible 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 *')}} int (Members::*M)(void *); M = &Members::Foo; //expected-error{{cannot take address of function 'Foo' because parameter 1 has pass_object_size attribute}} M = &Members::OvlFoo; //expected-error-re{{assigning to '{{.*}}' from incompatible 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)}} } } // namespace simple namespace templates { template int Foo(void *const __attribute__((pass_object_size(0)))) { return 0; } template struct Bar { template int Foo(void *const __attribute__((pass_object_size(0)))) { return 0; } }; void Decls() { int (*A)(void *) = &Foo; //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}} int (Bar::*B)(void *) = &Bar::Foo; //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}} } void Assigns() { int (*A)(void *); A = &Foo; // expected-error{{assigning to 'int (*)(void *)' from incompatible type ''}} expected-note@@56{{candidate address cannot be taken because parameter 1 has pass_object_size attribute}} int (Bar::*B)(void *) = &Bar::Foo; //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}} } } // namespace templates namespace virt { struct Foo { virtual void DoIt(void *const p __attribute__((pass_object_size(0)))); }; struct Bar : public Foo { void DoIt(void *const p __attribute__((pass_object_size(0)))) override; // OK }; struct Baz : public Foo { 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}} }; } namespace why { void TakeFn(void (*)(int, void *)); void ObjSize(int, void *const __attribute__((pass_object_size(0)))); void Check() { TakeFn(ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn(&ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn(*ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn(*****ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn(*****&ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} void (*P)(int, void *) = ****ObjSize; //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} P = ****ObjSize; //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn((ObjSize)); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn((void*)ObjSize); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} TakeFn((decltype(P))((void*)ObjSize)); //expected-error{{cannot take address of function 'ObjSize' because parameter 2 has pass_object_size attribute}} } } namespace constexpr_support { constexpr int getObjSizeType() { return 0; } void Foo(void *p __attribute__((pass_object_size(getObjSizeType())))); } namespace lambdas { void Bar() { (void)+[](void *const p __attribute__((pass_object_size(0)))) {}; //expected-error-re{{invalid argument type '(lambda at {{.*}})' to unary expression}} } } namespace ovlbug { // Directly calling an address-of function expression (e.g. in (&foo)(args...)) // doesn't go through regular address-of-overload logic. This caused the above // code to generate an ICE. void DirectAddrOf(void *__attribute__((pass_object_size(0)))); void DirectAddrOfOvl(void *__attribute__((pass_object_size(0)))); void DirectAddrOfOvl(int *); void Test() { (&DirectAddrOf)(nullptr); //expected-error{{cannot take address of function 'DirectAddrOf' because parameter 1 has pass_object_size attribute}} (&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}} } } @ 1.1.1.1 log @Import Clang 3.8.0rc3 r261930. @ text @@ 1.1.1.1.16.1 log @Mostly merge changes from HEAD upto 20200411 @ text @@ 1.1.1.2 log @Mark old LLVM instance as dead. @ text @@