219 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-apple-macosx10.12.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DMACOS %s2// RUN: %clang_cc1 -triple x86_64-apple-macosx10.12.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s3// RUN: %clang_cc1 -triple x86_64-apple-macosx10.12.0 -fexceptions -faligned-allocation -faligned-alloc-unavailable -std=c++14 -verify -DMACOS %s4// RUN: %clang_cc1 -triple arm64-apple-ios10.0.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DIOS %s5// RUN: %clang_cc1 -triple arm64-apple-ios10.0.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s6// RUN: %clang_cc1 -triple arm64-apple-tvos10.0.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DTVOS %s7// RUN: %clang_cc1 -triple arm64-apple-tvos10.0.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s8// RUN: %clang_cc1 -triple armv7k-apple-watchos3.0.0 -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DWATCHOS %s9// RUN: %clang_cc1 -triple armv7k-apple-watchos3.0.0 -fexceptions -std=c++1z -verify -DNO_ERRORS %s10// RUN: %clang_cc1 -triple s390x-none-zos -fexceptions -faligned-alloc-unavailable -std=c++1z -verify -DZOS %s11// RUN: %clang_cc1 -triple s390x-none-zos -fexceptions -std=c++1z -verify -DNO_ERRORS %s12// RUN: %clang_cc1 -triple s390x-none-zos -fexceptions -faligned-allocation -faligned-alloc-unavailable -std=c++14 -verify -DZOS %s13 14namespace 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 21void *operator new(std::size_t __sz, const std::nothrow_t&) noexcept;22void *operator new[](std::size_t __sz, const std::nothrow_t&) noexcept;23 24void *operator new(std::size_t __sz, std::align_val_t, const std::nothrow_t&) noexcept;25void *operator new[](std::size_t __sz, std::align_val_t, const std::nothrow_t&) noexcept;26void operator delete(void *, std::align_val_t, const std::nothrow_t&);27void operator delete[](void *, std::align_val_t, const std::nothrow_t&);28void operator delete(void*, std::size_t, std::align_val_t) noexcept;29void operator delete[](void*, std::size_t, std::align_val_t) noexcept;30 31void *operator new(std::size_t, std::align_val_t, long long);32 33struct alignas(256) OveralignedS {34 int x[16];35};36 37struct S {38 int x[16];39};40 41void 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 51void 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_ERRORS66// expected-no-diagnostics67#else68// expected-error-re@-16 {{aligned allocation function of type 'void *(__size_t, 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 *(__size_t, 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 *(__size_t, 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 *(__size_t, 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#endif105 106void testOveralignedCheckOS() {107 auto *p = new OveralignedS;108}109 110#ifdef NO_ERRORS111// expected-no-diagnostics112#else113#if defined(IOS)114// expected-error@-7 {{aligned allocation function of type 'void *(__size_t, 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 *(__size_t, 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 *(__size_t, 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 *(__size_t, 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 *(__size_t, 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#endif129 130// expected-note@-23 2 {{if you supply your own aligned allocation functions}}131#endif132 133// Test that diagnostics are produced when an unavailable aligned deallocation134// function is called from a deleting destructor.135struct alignas(256) OveralignedS2 {136 int a[4];137 virtual ~OveralignedS2();138};139 140OveralignedS2::~OveralignedS2() {}141 142#ifdef NO_ERRORS143// expected-no-diagnostics144#else145#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#endif161#endif162 163void 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 172void 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_ERRORS182// expected-no-diagnostics183#else184// expected-error-re@-11 {{aligned allocation function of type 'void *(__size_t, 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 *(__size_t, 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 *(__size_t, 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#endif202 203// No errors if user-defined aligned allocation functions are available.204void *operator new(std::size_t __sz, std::align_val_t) {205 static char array[256];206 return &array;207}208 209void operator delete(void *p, std::align_val_t) {210}211 212void operator delete(void *p, std::size_t __sz, std::align_val_t) {213}214 215void testOveraligned2() {216 auto p = new ((std::align_val_t)8) OveralignedS;217 delete p;218}219