Clang Project

clang_source_code/test/CXX/expr/expr.unary/expr.new/p14.cpp
1// RUN: %clang_cc1 -std=c++1z -fsized-deallocation -fexceptions %s -verify
2
3using size_t = decltype(sizeof(0));
4namespace std { enum class align_val_t : size_t {}; }
5
6struct 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
11template<unsigned Align, typename ...Ts>
12struct alignas(Align) Unaligned {
13  void *operator new(size_t, Ts...) = delete; // expected-note 4{{deleted}}
14};
15auto *ua = new Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; // expected-error {{deleted}}
16auto *ub = new Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; // expected-error {{deleted}}
17auto *uap = new (arg) Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; // expected-error {{deleted}}
18auto *ubp = new (arg) Unaligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2, Arg>; // expected-error {{deleted}}
19
20template<unsigned Align, typename ...Ts>
21struct 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};
24auto *aa = new Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; // expected-error {{no matching}}
25auto *ab = new Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; // expected-error {{deleted}}
26auto *aap = new (arg) Aligned<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; // expected-error {{no matching}}
27auto *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
32template<unsigned Align, typename ...Ts>
33struct 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};
37template<unsigned Align, typename ...Ts>
38struct 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};
42auto *b1a = new Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__>;
43auto *b1b = new Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>; // expected-error {{deleted}}
44auto *b2a = new Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__>; // expected-error {{deleted}}
45auto *b2b = new Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2>;
46auto *b1ap = new (arg) Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>;
47auto *b1bp = new (arg) Both1<__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2, Arg>; // expected-error {{deleted}}
48auto *b2ap = new (arg) Both2<__STDCPP_DEFAULT_NEW_ALIGNMENT__, Arg>; // expected-error {{deleted}}
49auto *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
54struct alignas(__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2) WeirdAlignedAlloc1 {
55  void *operator new(size_t, ...) = delete; // expected-note 2{{deleted}}
56};
57auto *waa1 = new WeirdAlignedAlloc1; // expected-error {{deleted}}
58auto *waa1p = new (arg) WeirdAlignedAlloc1; // expected-error {{deleted}}
59
60struct alignas(__STDCPP_DEFAULT_NEW_ALIGNMENT__ * 2) WeirdAlignedAlloc2 {
61  template<typename ...T>
62  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};
68auto *waa2 = new WeirdAlignedAlloc2; // expected-note {{instantiation of}}
69auto *waa2p = new (arg) WeirdAlignedAlloc2; // expected-note {{instantiation of}}
70
CodeThinker, Enjoy your reading code