1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
// RUN: %check_clang_tidy %s misc-new-delete-overloads %t
typedef decltype(sizeof(int)) size_t;
struct S {
// CHECK-MESSAGES: :[[@LINE+1]]:9: warning: declaration of 'operator new' has no matching declaration of 'operator delete' at the same scope [misc-new-delete-overloads]
void *operator new(size_t size) noexcept;
// CHECK-MESSAGES: :[[@LINE+1]]:9: warning: declaration of 'operator new[]' has no matching declaration of 'operator delete[]' at the same scope
void *operator new[](size_t size) noexcept;
};
// CHECK-MESSAGES: :[[@LINE+1]]:7: warning: declaration of 'operator new' has no matching declaration of 'operator delete' at the same scope
void *operator new(size_t size) noexcept(false);
struct T {
// Sized deallocations are not enabled by default, and so this new/delete pair
// does not match. However, we expect only one warning, for the new, because
// the operator delete is a placement delete and we do not warn on mismatching
// placement operations.
// CHECK-MESSAGES: :[[@LINE+1]]:9: warning: declaration of 'operator new' has no matching declaration of 'operator delete' at the same scope
void *operator new(size_t size) noexcept;
void operator delete(void *ptr, size_t) noexcept; // ok only if sized deallocation is enabled
};
struct U {
void *operator new(size_t size) noexcept;
void operator delete(void *ptr) noexcept;
void *operator new[](size_t) noexcept;
void operator delete[](void *) noexcept;
};
struct Z {
// CHECK-MESSAGES: :[[@LINE+1]]:8: warning: declaration of 'operator delete' has no matching declaration of 'operator new' at the same scope
void operator delete(void *ptr) noexcept;
// CHECK-MESSAGES: :[[@LINE+1]]:8: warning: declaration of 'operator delete[]' has no matching declaration of 'operator new[]' at the same scope
void operator delete[](void *ptr) noexcept;
};
struct A {
void *operator new(size_t size, Z) noexcept; // ok, placement new
};
struct B {
void operator delete(void *ptr, A) noexcept; // ok, placement delete
};
// It is okay to have a class with an inaccessible free store operator.
struct C {
void *operator new(size_t, A) noexcept; // ok, placement new
private:
void operator delete(void *) noexcept;
};
// It is also okay to have a class with a delete free store operator.
struct D {
void *operator new(size_t, A) noexcept; // ok, placement new
void operator delete(void *) noexcept = delete;
};
struct E : U {
void *operator new(size_t) noexcept; // okay, we inherit operator delete from U
};
struct F : S {
// CHECK-MESSAGES: :[[@LINE+1]]:9: warning: declaration of 'operator new' has no matching declaration of 'operator delete' at the same scope
void *operator new(size_t) noexcept;
};
class G {
void operator delete(void *) noexcept;
};
struct H : G {
// CHECK-MESSAGES: :[[@LINE+1]]:9: warning: declaration of 'operator new' has no matching declaration of 'operator delete' at the same scope
void *operator new(size_t) noexcept; // base class operator is inaccessible
};
template <typename Base> struct Derived : Base {
void operator delete(void *);
};
|
