1 // RUN: %clang_cc1 -std=c++1z -fsized-deallocation -fexceptions %s -verify 2 3 using size_t = decltype(sizeof(0)); 4 namespace std { enum class align_val_t : size_t {}; } 5 6 struct Arg {} arg; 7 8 // If the type is aligned, first try with an alignment argument and then 9 // without. If not, never consider supplying an alignment. 10 11 template<unsigned Align, typename ...Ts> 12 struct alignas(Align) Unaligned { 13 void *operator new(size_t, Ts...) = delete; // expected-note 4{{deleted}} 14 }; 15 auto *ua = new Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; // expected-error {{deleted}} 16 auto *ub = new Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; // expected-error {{deleted}} 17 auto *uap = new (arg) Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; // expected-error {{deleted}} 18 auto *ubp = new (arg) Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2, Arg>; // expected-error {{deleted}} 19 20 template<unsigned Align, typename ...Ts> 21 struct alignas(Align) Aligned { 22 void *operator new(size_t, std::align_val_t, Ts...) = delete; // expected-note 2{{deleted}} expected-note 2{{not viable}} 23 }; 24 auto *aa = new Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; // expected-error {{no matching}} 25 auto *ab = new Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; // expected-error {{deleted}} 26 auto *aap = new (arg) Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; // expected-error {{no matching}} 27 auto *abp = new (arg) Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2, Arg>; // expected-error {{deleted}} 28 29 // If both are available, we prefer the aligned version for an overaligned 30 // type, and only use the unaligned version for a non-overaligned type. 31 32 template<unsigned Align, typename ...Ts> 33 struct alignas(Align) Both1 { 34 void *operator new(size_t, Ts...); // expected-note 2{{not viable}} 35 void *operator new(size_t, std::align_val_t, Ts...) = delete; // expected-note 2{{deleted}} 36 }; 37 template<unsigned Align, typename ...Ts> 38 struct alignas(Align) Both2 { 39 void *operator new(size_t, Ts...) = delete; // expected-note 2{{deleted}} 40 void *operator new(size_t, std::align_val_t, Ts...); // expected-note 2{{not viable}} 41 }; 42 auto *b1a = new Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; 43 auto *b1b = new Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; // expected-error {{deleted}} 44 auto *b2a = new Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; // expected-error {{deleted}} 45 auto *b2b = new Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; 46 auto *b1ap = new (arg) Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; 47 auto *b1bp = new (arg) Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2, Arg>; // expected-error {{deleted}} 48 auto *b2ap = new (arg) Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; // expected-error {{deleted}} 49 auto *b2bp = new (arg) Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2, Arg>; 50 51 // Note that the aligned form can select a function with a parameter different 52 // from std::align_val_t. 53 54 struct alignas(__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2) WeirdAlignedAlloc1 { 55 void *operator new(size_t, ...) = delete; // expected-note 2{{deleted}} 56 }; 57 auto *waa1 = new WeirdAlignedAlloc1; // expected-error {{deleted}} 58 auto *waa1p = new (arg) WeirdAlignedAlloc1; // expected-error {{deleted}} 59 60 struct alignas(__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2) WeirdAlignedAlloc2 { 61 template<typename ...T> operator newWeirdAlignedAlloc262 void *operator new(size_t, T...) { 63 using U = void(T...); // expected-note 2{{previous}} 64 using U = void; // expected-error {{different types ('void' vs 'void (std::align_val_t)')}} \ 65 expected-error {{different types ('void' vs 'void (std::align_val_t, Arg)')}} 66 } 67 }; 68 auto *waa2 = new WeirdAlignedAlloc2; // expected-note {{instantiation of}} 69 auto *waa2p = new (arg) WeirdAlignedAlloc2; // expected-note {{instantiation of}} 70