clang/test/SemaCXX/unavailable_aligned_allocation.cpp

   1 // RUN: %clang_cc1 -triple x86_64-apple-macosx10.12.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DMACOS %s
   2 // RUN: %clang_cc1 -triple x86_64-apple-macosx10.12.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s
   3 // RUN: %clang_cc1 -triple x86_64-apple-macosx10.12.0 -fexceptions -faligned-allocation -faligned-alloc-unavailable -std=c++14 -verify -DMACOS %s
   4 // RUN: %clang_cc1 -triple arm64-apple-ios10.0.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DIOS %s
   5 // RUN: %clang_cc1 -triple arm64-apple-ios10.0.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s
   6 // RUN: %clang_cc1 -triple arm64-apple-tvos10.0.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DTVOS %s
   7 // RUN: %clang_cc1 -triple arm64-apple-tvos10.0.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s
   8 // RUN: %clang_cc1 -triple armv7k-apple-watchos3.0.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DWATCHOS %s
   9 // RUN: %clang_cc1 -triple armv7k-apple-watchos3.0.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s
  10 // RUN: %clang_cc1 -triple s390x-none-zos -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DZOS %s
  11 // RUN: %clang_cc1 -triple s390x-none-zos -fexceptions -std=c++1z -verify -DNO_ERRORS %s
  12 // RUN: %clang_cc1 -triple s390x-none-zos -fexceptions -faligned-allocation -faligned-alloc-unavailable -std=c++14 -verify -DZOS %s
  13
  14 namespace std {
  15   typedef decltype(sizeof(0)) size_t;
  16   enum class align_val_t : std::size_t {};
  17   struct nothrow_t {};
  18   nothrow_t nothrow;
  19 }
  20
  21 void *operator new(std::size_t __sz, const std::nothrow_t&) noexcept;
  22 void *operator new[](std::size_t __sz, const std::nothrow_t&) noexcept;
  23
  24 void *operator new(std::size_t __sz, std::align_val_t, const std::nothrow_t&) noexcept;
  25 void *operator new[](std::size_t __sz, std::align_val_t, const std::nothrow_t&) noexcept;
  26 void operator delete(void *, std::align_val_t, const std::nothrow_t&);
  27 void operator delete[](void *, std::align_val_t, const std::nothrow_t&);
  28 void operator delete(void*, std::size_t, std::align_val_t) noexcept;
  29 void operator delete[](void*, std::size_t, std::align_val_t) noexcept;
  30
  31 void *operator new(std::size_t, std::align_val_t, long long);
  32
  33 struct alignas(256) OveralignedS {
  34   int x[16];
  35 };
  36
  37 struct S {
  38   int x[16];
  39 };
  40
  41 void test() {
  42   auto *p = new S;
  43   delete p;
  44   p = new (std::nothrow) S;
  45
  46   auto *pa = new S[4];
  47   delete[] pa;
  48   pa = new (std::nothrow) S[4];
  49 }
  50
  51 void testOveraligned() {
  52   auto *p = new OveralignedS;
  53   p = new ((std::align_val_t)8) OveralignedS;
  54   delete p;
  55   p = new (std::nothrow) OveralignedS;
  56
  57   auto *pa = new OveralignedS[4];
  58   pa = new ((std::align_val_t)8) OveralignedS[4];
  59   delete[] pa;
  60   pa = new (std::nothrow) OveralignedS[4];
  61   // No error here since it is not calling a replaceable allocation function.
  62   p = new ((std::align_val_t)8, 10LL) OveralignedS;
  63 }
  64
  65 #ifdef NO_ERRORS
  66 // expected-no-diagnostics
  67 #else
  68 // expected-error-re@-16 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
  69 // expected-note@-17 {{if you supply your own aligned allocation functions}}
  70 // expected-error-re@-18 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
  71 // expected-note@-19 {{if you supply your own aligned allocation functions}}
  72
  73 // expected-error-re@-20 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
  74 // expected-note@-21 {{if you supply your own aligned allocation functions}}
  75 // expected-error-re@-22 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
  76 // expected-note@-23 {{if you supply your own aligned allocation functions}}
  77
  78 // expected-error-re@-24 {{aligned deallocation function of type 'void (void *, std::size_t, std::align_val_t) noexcept' is {{only|not}} available on}}
  79 // expected-note@-25 {{if you supply your own aligned allocation functions}}
  80
  81 // expected-error-re@-26 {{aligned allocation function of type 'void *(std::size_t, std::align_val_t, const std::nothrow_t &) noexcept' is {{only|not}} available on}}
  82 // expected-note@-27 {{if you supply your own aligned allocation functions}}
  83 // expected-error-re@-28 {{aligned deallocation function of type 'void (void *, std::align_val_t, const std::nothrow_t &) noexcept' is {{only|not}} available on}}
  84 // expected-note@-29 {{if you supply your own aligned allocation functions}}
  85
  86 // expected-error-re@-29 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
  87 // expected-note@-30 {{if you supply your own aligned allocation functions}}
  88 // expected-error-re@-31 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
  89 // expected-note@-32 {{if you supply your own aligned allocation functions}}
  90
  91 // expected-error-re@-33 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
  92 // expected-note@-34 {{if you supply your own aligned allocation functions}}
  93 // expected-error-re@-35 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
  94 // expected-note@-36 {{if you supply your own aligned allocation functions}}
  95
  96 // expected-error-re@-37 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
  97 // expected-note@-38 {{if you supply your own aligned allocation functions}}
  98
  99 // expected-error-re@-39 {{aligned allocation function of type 'void *(std::size_t, std::align_val_t, const std::nothrow_t &) noexcept' is {{only|not}} available on}}
 100 // expected-note@-40 {{if you supply your own aligned allocation functions}}
 101 // expected-error-re@-41 {{aligned deallocation function of type 'void (void *, std::align_val_t, const std::nothrow_t &) noexcept' is {{only|not}} available on}}
 102 // expected-note@-42 {{if you supply your own aligned allocation functions}}
 103
 104 #endif
 105
 106 void testOveralignedCheckOS() {
 107   auto *p = new OveralignedS;
 108 }
 109
 110 #ifdef NO_ERRORS
 111 // expected-no-diagnostics
 112 #else
 113 #if defined(IOS)
 114 // expected-error@-7 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is only available on iOS 11 or newer}}
 115 // expected-error@-8 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is only available on iOS 11 or newer}}}
 116 #elif defined(TVOS)
 117 // expected-error@-10 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is only available on tvOS 11 or newer}}}
 118 // expected-error@-11 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is only available on tvOS 11 or newer}}}
 119 #elif defined(WATCHOS)
 120 // expected-error@-13 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is only available on watchOS 4 or newer}}}
 121 // expected-error@-14 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is only available on watchOS 4 or newer}}}
 122 #elif defined(MACOS)
 123 // expected-error@-16 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is only available on macOS 10.13 or newer}}}
 124 // expected-error@-17 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is only available on macOS 10.13 or newer}}}
 125 #elif defined(ZOS)
 126 // expected-error@-19 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is not available on z/OS}}}
 127 // expected-error@-20 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is not available on z/OS}}}
 128 #endif
 129
 130 // expected-note@-23 2 {{if you supply your own aligned allocation functions}}
 131 #endif
 132
 133 // Test that diagnostics are produced when an unavailable aligned deallocation
 134 // function is called from a deleting destructor.
 135 struct alignas(256) OveralignedS2 {
 136   int a[4];
 137   virtual ~OveralignedS2();
 138 };
 139
 140 OveralignedS2::~OveralignedS2() {}
 141
 142 #ifdef NO_ERRORS
 143 // expected-no-diagnostics
 144 #else
 145 #if defined(IOS)
 146 // expected-error@-6 {{aligned deallocation function of type 'void (void *, std::size_t, std::align_val_t) noexcept' is only available on iOS 11 or newer}}}
 147 // expected-note@-7 {{if you supply your own aligned allocation functions}}
 148 #elif defined(TVOS)
 149 // expected-error@-9 {{aligned deallocation function of type 'void (void *, std::size_t, std::align_val_t) noexcept' is only available on tvOS 11 or newer}}}
 150 // expected-note@-10 {{if you supply your own aligned allocation functions}}
 151 #elif defined(WATCHOS)
 152 // expected-error@-12 {{aligned deallocation function of type 'void (void *, std::size_t, std::align_val_t) noexcept' is only available on watchOS 4 or newer}}}
 153 // expected-note@-13 {{if you supply your own aligned allocation functions}}
 154 #elif defined(MACOS)
 155 // expected-error@-15 {{aligned deallocation function of type 'void (void *, std::size_t, std::align_val_t) noexcept' is only available on macOS 10.13 or newer}}}
 156 // expected-note@-16 {{if you supply your own aligned allocation functions}}
 157 #elif defined(ZOS)
 158 // expected-error@-18 {{aligned deallocation function of type 'void (void *, std::size_t, std::align_val_t) noexcept' is not available on z/OS}}}
 159 // expected-note@-19 {{if you supply your own aligned allocation functions}}
 160 #endif
 161 #endif
 162
 163 void testExplicitOperatorNewDelete() {
 164   void *p = operator new(128);
 165   operator delete(p);
 166   p = operator new[](128);
 167   operator delete[](p);
 168   p = __builtin_operator_new(128);
 169   __builtin_operator_delete(p);
 170 }
 171
 172 void testExplicitOperatorNewDeleteOveraligned() {
 173   void *p = operator new(128, (std::align_val_t)64);
 174   operator delete(p, (std::align_val_t)64);
 175   p = operator new[](128, (std::align_val_t)64);
 176   operator delete[](p, (std::align_val_t)64);
 177   p = __builtin_operator_new(128, (std::align_val_t)64);
 178   __builtin_operator_delete(p, (std::align_val_t)64);
 179 }
 180
 181 #ifdef NO_ERRORS
 182 // expected-no-diagnostics
 183 #else
 184 // expected-error-re@-11 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
 185 // expected-note@-12 {{if you supply your own aligned allocation functions}}
 186
 187 // expected-error-re@-13 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
 188 // expected-note@-14 {{if you supply your own aligned allocation functions}}
 189
 190 // expected-error-re@-15 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
 191 // expected-note@-16 {{if you supply your own aligned allocation functions}}
 192
 193 // expected-error-re@-17 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
 194 // expected-note@-18 {{if you supply your own aligned allocation functions}}
 195
 196 // expected-error-re@-19 {{aligned allocation function of type 'void *(unsigned long, enum std::align_val_t)' is {{only|not}} available on}}
 197 // expected-note@-20 {{if you supply your own aligned allocation functions}}
 198
 199 // expected-error-re@-21 {{aligned deallocation function of type 'void (void *, enum std::align_val_t) noexcept' is {{only|not}} available on}}
 200 // expected-note@-22 {{if you supply your own aligned allocation functions}}
 201 #endif
 202
 203 // No errors if user-defined aligned allocation functions are available.
 204 void *operator new(std::size_t __sz, std::align_val_t) {
 205   static char array[256];
 206   return &array;
 207 }
 208
 209 void operator delete(void *p, std::align_val_t) {
 210 }
 211
 212 void operator delete(void *p, std::size_t __sz, std::align_val_t) {
 213 }
 214
 215 void testOveraligned2() {
 216   auto p = new ((std::align_val_t)8) OveralignedS;
 217   delete p;
 218 }