blob: 227cc8c258a62c4bd29a524f41d6dea045fef5c7 [file] [log] [blame]
Jeff Thompsona28eed82013-08-22 16:21:10 -07001//
2// sp_debug_hooks.cpp
3//
4// Copyright (c) 2002, 2003 Peter Dimov
5//
6// Distributed under the Boost Software License, Version 1.0. (See
7// accompanying file LICENSE_1_0.txt or copy at
8// http://www.boost.org/LICENSE_1_0.txt)
9//
10
11#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
12
13#include <boost/assert.hpp>
14#include <new>
15#include <cstdlib>
16
17int const m = 2; // m * sizeof(int) must be aligned appropriately
18
19// magic values to mark heap blocks with
20
21int const allocated_scalar = 0x1234560C;
22int const allocated_array = 0x1234560A;
23int const adopted_scalar = 0x0567890C;
24int const adopted_array = 0x0567890A;
25int const deleted = 0x498769DE;
26
27using namespace std; // for compilers where things aren't in std
28
29// operator new
30
31static new_handler get_new_handler()
32{
33 new_handler p = set_new_handler(0);
34 set_new_handler(p);
35 return p;
36}
37
38static void * allocate(size_t n, int mark)
39{
40 int * pm;
41
42 for(;;)
43 {
44 pm = static_cast<int*>(malloc(n + m * sizeof(int)));
45
46 if(pm != 0) break;
47
48 if(new_handler pnh = get_new_handler())
49 {
50 pnh();
51 }
52 else
53 {
54 return 0;
55 }
56 }
57
58 *pm = mark;
59
60 return pm + m;
61}
62
63void * operator new(size_t n) throw(bad_alloc)
64{
65 void * p = allocate(n, allocated_scalar);
66
67#if !defined(BOOST_NO_EXCEPTIONS)
68
69 if(p == 0) throw bad_alloc();
70
71#endif
72
73 return p;
74}
75
76#if !defined(__BORLANDC__) || (__BORLANDC__ > 0x551)
77
78void * operator new(size_t n, nothrow_t const &) throw()
79{
80 return allocate(n, allocated_scalar);
81}
82
83#endif
84
85void * operator new[](size_t n) throw(bad_alloc)
86{
87 void * p = allocate(n, allocated_array);
88
89#if !defined(BOOST_NO_EXCEPTIONS)
90
91 if(p == 0) throw bad_alloc();
92
93#endif
94
95 return p;
96}
97
98#if !defined(__BORLANDC__) || (__BORLANDC__ > 0x551)
99
100void * operator new[](size_t n, nothrow_t const &) throw()
101{
102 return allocate(n, allocated_array);
103}
104
105#endif
106
107// debug hooks
108
109namespace ndnboost
110{
111
112void sp_scalar_constructor_hook(void * p)
113{
114 if(p == 0) return;
115
116 int * pm = static_cast<int*>(p);
117 pm -= m;
118
119 BOOST_ASSERT(*pm != adopted_scalar); // second smart pointer to the same address
120 BOOST_ASSERT(*pm != allocated_array); // allocated with new[]
121 BOOST_ASSERT(*pm == allocated_scalar); // not allocated with new
122
123 *pm = adopted_scalar;
124}
125
126void sp_scalar_constructor_hook(void * px, std::size_t, void *)
127{
128 sp_scalar_constructor_hook(px);
129}
130
131void sp_scalar_destructor_hook(void * p)
132{
133 if(p == 0) return;
134
135 int * pm = static_cast<int*>(p);
136 pm -= m;
137
138 BOOST_ASSERT(*pm == adopted_scalar); // attempt to destroy nonmanaged block
139
140 *pm = allocated_scalar;
141}
142
143void sp_scalar_destructor_hook(void * px, std::size_t, void *)
144{
145 sp_scalar_destructor_hook(px);
146}
147
148// It is not possible to handle the array hooks in a portable manner.
149// The implementation typically reserves a bit of storage for the number
150// of objects in the array, and the argument of the array hook isn't
151// equal to the return value of operator new[].
152
153void sp_array_constructor_hook(void * /* p */)
154{
155/*
156 if(p == 0) return;
157
158 // adjust p depending on the implementation
159
160 int * pm = static_cast<int*>(p);
161 pm -= m;
162
163 BOOST_ASSERT(*pm != adopted_array); // second smart array pointer to the same address
164 BOOST_ASSERT(*pm != allocated_scalar); // allocated with new
165 BOOST_ASSERT(*pm == allocated_array); // not allocated with new[]
166
167 *pm = adopted_array;
168*/
169}
170
171void sp_array_destructor_hook(void * /* p */)
172{
173/*
174 if(p == 0) return;
175
176 // adjust p depending on the implementation
177
178 int * pm = static_cast<int*>(p);
179 pm -= m;
180
181 BOOST_ASSERT(*pm == adopted_array); // attempt to destroy nonmanaged block
182
183 *pm = allocated_array;
184*/
185}
186
187} // namespace ndnboost
188
189// operator delete
190
191void operator delete(void * p) throw()
192{
193 if(p == 0) return;
194
195 int * pm = static_cast<int*>(p);
196 pm -= m;
197
198 BOOST_ASSERT(*pm != deleted); // double delete
199 BOOST_ASSERT(*pm != adopted_scalar); // delete p.get();
200 BOOST_ASSERT(*pm != allocated_array); // allocated with new[]
201 BOOST_ASSERT(*pm == allocated_scalar); // not allocated with new
202
203 *pm = deleted;
204
205 free(pm);
206}
207
208#if !defined(__BORLANDC__) || (__BORLANDC__ > 0x551)
209
210void operator delete(void * p, nothrow_t const &) throw()
211{
212 ::operator delete(p);
213}
214
215#endif
216
217void operator delete[](void * p) throw()
218{
219 if(p == 0) return;
220
221 int * pm = static_cast<int*>(p);
222 pm -= m;
223
224 BOOST_ASSERT(*pm != deleted); // double delete
225 BOOST_ASSERT(*pm != adopted_scalar); // delete p.get();
226 BOOST_ASSERT(*pm != allocated_scalar); // allocated with new
227 BOOST_ASSERT(*pm == allocated_array); // not allocated with new[]
228
229 *pm = deleted;
230
231 free(pm);
232}
233
234#if !defined(__BORLANDC__) || (__BORLANDC__ > 0x551)
235
236void operator delete[](void * p, nothrow_t const &) throw()
237{
238 ::operator delete[](p);
239}
240
241#endif
242
243#endif // defined(BOOST_SP_ENABLE_DEBUG_HOOKS)