clang/test/SemaCXX/pass-object-size.cpp

   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
  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
  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>
  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>
  62   int Foo(void *const __attribute__((pass_object_size(0)))) {
  63     return 0;
  64   }
  65 };
  66
  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
  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
  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 {
 114 constexpr int getObjSizeType() { return 0; }
 115 void Foo(void *p __attribute__((pass_object_size(getObjSizeType()))));
 116 }
 117
 118 namespace lambdas {
 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
 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 }