clang/test/SemaCXX/alloc-align-attr.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 struct param_num {
   4   void* Foo(int a) __attribute__((alloc_align(1))); // expected-error {{'alloc_align' attribute is invalid for the implicit this argument}}
   5 };
   6
   7
   8 template <typename T>
   9 struct dependent_ret {
  10   T *Foo(unsigned long long a) __attribute__((alloc_align(2))); // no-warning, ends up being int**.
  11   T Foo2(unsigned long long a) __attribute__((alloc_align(2))); // expected-warning {{'alloc_align' attribute only applies to return values that are pointers or references}}
  12 };
  13
  14 // Following 2 errors associated only with the 'float' versions below.
  15 template <typename T>
  16 struct dependent_param_struct {
  17   void* Foo(T param) __attribute__((alloc_align(2))); // expected-error {{'alloc_align' attribute argument may only refer to a function parameter of integer type}}
  18 };
  19
  20 template <typename T>
  21 void* dependent_param_func(T param) __attribute__((alloc_align(1)));// expected-error {{'alloc_align' attribute argument may only refer to a function parameter of integer type}}
  22
  23 template <int T>
  24 void* illegal_align_param(int p) __attribute__((alloc_align(T))); // expected-error {{'alloc_align' attribute requires parameter 1 to be an integer constant}}
  25
  26 void dependent_impl(int align) {
  27   dependent_ret<int> a; // expected-note {{in instantiation of template class 'dependent_ret<int>' requested here}}
  28   a.Foo(1);
  29   a.Foo2(1);
  30   dependent_ret<int *> b;
  31   b.Foo(1);
  32   b.Foo2(1);
  33   b.Foo(3);           // expected-warning {{requested alignment is not a power of 2}}
  34   b.Foo2(3);          // expected-warning {{requested alignment is not a power of 2}}
  35   b.Foo(8589934592ull);  // expected-warning {{requested alignment must be 4294967296 bytes or smaller; maximum alignment assumed}}
  36   b.Foo2(8589934592ull); // expected-warning {{requested alignment must be 4294967296 bytes or smaller; maximum alignment assumed}}
  37   b.Foo(align);
  38   b.Foo2(align);
  39
  40   dependent_param_struct<int> c;
  41   c.Foo(1);
  42   dependent_param_struct<float> d; // expected-note {{in instantiation of template class 'dependent_param_struct<float>' requested here}}
  43   d.Foo(1.0);
  44   dependent_param_func<int>(1);
  45   dependent_param_func<float>(1); // expected-note {{in instantiation of function template specialization 'dependent_param_func<float>' requested here}}
  46 }