1*eb8650a7SLouis Dionne //===----------------------------------------------------------------------===//
2280ddee8SMarshall Clow //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6280ddee8SMarshall Clow //
7280ddee8SMarshall Clow //
8280ddee8SMarshall Clow // This file implements the "Array Construction and Destruction APIs"
92b0da3d6SLouis Dionne // https://itanium-cxx-abi.github.io/cxx-abi/abi.html#array-ctor
10280ddee8SMarshall Clow //
11280ddee8SMarshall Clow //===----------------------------------------------------------------------===//
12280ddee8SMarshall Clow
13280ddee8SMarshall Clow #include "cxxabi.h"
14f3246384SEric Fiselier #include "__cxxabi_config.h"
15280ddee8SMarshall Clow
16280ddee8SMarshall Clow #include <exception> // for std::terminate
1704501a22SLouis Dionne #include <new> // for std::bad_array_new_length
18c4225e12SEric Fiselier
19c4225e12SEric Fiselier #include "abort_message.h"
20280ddee8SMarshall Clow
21f3246384SEric Fiselier #ifndef __has_builtin
22f3246384SEric Fiselier #define __has_builtin(x) 0
23f3246384SEric Fiselier #endif
24f3246384SEric Fiselier
25280ddee8SMarshall Clow namespace __cxxabiv1 {
26280ddee8SMarshall Clow
27e4512b53SLouis Dionne //
28e4512b53SLouis Dionne // Helper routines and classes
29e4512b53SLouis Dionne //
30280ddee8SMarshall Clow
31280ddee8SMarshall Clow namespace {
__get_element_count(void * p)32280ddee8SMarshall Clow inline static size_t __get_element_count ( void *p ) {
33280ddee8SMarshall Clow return static_cast <size_t *> (p)[-1];
34280ddee8SMarshall Clow }
35280ddee8SMarshall Clow
__set_element_count(void * p,size_t element_count)36280ddee8SMarshall Clow inline static void __set_element_count ( void *p, size_t element_count ) {
37280ddee8SMarshall Clow static_cast <size_t *> (p)[-1] = element_count;
38280ddee8SMarshall Clow }
39280ddee8SMarshall Clow
40280ddee8SMarshall Clow
41280ddee8SMarshall Clow // A pair of classes to simplify exception handling and control flow.
42280ddee8SMarshall Clow // They get passed a block of memory in the constructor, and unless the
43280ddee8SMarshall Clow // 'release' method is called, they deallocate the memory in the destructor.
44be2eced4SHoward Hinnant // Preferred usage is to allocate some memory, attach it to one of these objects,
45280ddee8SMarshall Clow // and then, when all the operations to set up the memory block have succeeded,
46280ddee8SMarshall Clow // call 'release'. If any of the setup operations fail, or an exception is
47280ddee8SMarshall Clow // thrown, then the block is automatically deallocated.
48280ddee8SMarshall Clow //
49280ddee8SMarshall Clow // The only difference between these two classes is the signature for the
50280ddee8SMarshall Clow // deallocation function (to match new2/new3 and delete2/delete3.
51280ddee8SMarshall Clow class st_heap_block2 {
52280ddee8SMarshall Clow public:
53280ddee8SMarshall Clow typedef void (*dealloc_f)(void *);
54280ddee8SMarshall Clow
st_heap_block2(dealloc_f dealloc,void * ptr)55280ddee8SMarshall Clow st_heap_block2 ( dealloc_f dealloc, void *ptr )
56280ddee8SMarshall Clow : dealloc_ ( dealloc ), ptr_ ( ptr ), enabled_ ( true ) {}
~st_heap_block2()57280ddee8SMarshall Clow ~st_heap_block2 () { if ( enabled_ ) dealloc_ ( ptr_ ) ; }
release()58280ddee8SMarshall Clow void release () { enabled_ = false; }
59280ddee8SMarshall Clow
60280ddee8SMarshall Clow private:
61280ddee8SMarshall Clow dealloc_f dealloc_;
62280ddee8SMarshall Clow void *ptr_;
63280ddee8SMarshall Clow bool enabled_;
64280ddee8SMarshall Clow };
65280ddee8SMarshall Clow
66280ddee8SMarshall Clow class st_heap_block3 {
67280ddee8SMarshall Clow public:
68280ddee8SMarshall Clow typedef void (*dealloc_f)(void *, size_t);
69280ddee8SMarshall Clow
st_heap_block3(dealloc_f dealloc,void * ptr,size_t size)70280ddee8SMarshall Clow st_heap_block3 ( dealloc_f dealloc, void *ptr, size_t size )
71280ddee8SMarshall Clow : dealloc_ ( dealloc ), ptr_ ( ptr ), size_ ( size ), enabled_ ( true ) {}
~st_heap_block3()72280ddee8SMarshall Clow ~st_heap_block3 () { if ( enabled_ ) dealloc_ ( ptr_, size_ ) ; }
release()73280ddee8SMarshall Clow void release () { enabled_ = false; }
74280ddee8SMarshall Clow
75280ddee8SMarshall Clow private:
76280ddee8SMarshall Clow dealloc_f dealloc_;
77280ddee8SMarshall Clow void *ptr_;
78280ddee8SMarshall Clow size_t size_;
79280ddee8SMarshall Clow bool enabled_;
80280ddee8SMarshall Clow };
81280ddee8SMarshall Clow
82280ddee8SMarshall Clow class st_cxa_cleanup {
83280ddee8SMarshall Clow public:
84280ddee8SMarshall Clow typedef void (*destruct_f)(void *);
85280ddee8SMarshall Clow
st_cxa_cleanup(void * ptr,size_t & idx,size_t element_size,destruct_f destructor)86280ddee8SMarshall Clow st_cxa_cleanup ( void *ptr, size_t &idx, size_t element_size, destruct_f destructor )
87280ddee8SMarshall Clow : ptr_ ( ptr ), idx_ ( idx ), element_size_ ( element_size ),
88280ddee8SMarshall Clow destructor_ ( destructor ), enabled_ ( true ) {}
~st_cxa_cleanup()89280ddee8SMarshall Clow ~st_cxa_cleanup () {
90280ddee8SMarshall Clow if ( enabled_ )
91280ddee8SMarshall Clow __cxa_vec_cleanup ( ptr_, idx_, element_size_, destructor_ );
92280ddee8SMarshall Clow }
93280ddee8SMarshall Clow
release()94280ddee8SMarshall Clow void release () { enabled_ = false; }
95280ddee8SMarshall Clow
96280ddee8SMarshall Clow private:
97280ddee8SMarshall Clow void *ptr_;
98280ddee8SMarshall Clow size_t &idx_;
99280ddee8SMarshall Clow size_t element_size_;
100280ddee8SMarshall Clow destruct_f destructor_;
101280ddee8SMarshall Clow bool enabled_;
102280ddee8SMarshall Clow };
103280ddee8SMarshall Clow
104280ddee8SMarshall Clow class st_terminate {
105280ddee8SMarshall Clow public:
st_terminate(bool enabled=true)106280ddee8SMarshall Clow st_terminate ( bool enabled = true ) : enabled_ ( enabled ) {}
~st_terminate()107280ddee8SMarshall Clow ~st_terminate () { if ( enabled_ ) std::terminate (); }
release()108280ddee8SMarshall Clow void release () { enabled_ = false; }
109280ddee8SMarshall Clow private:
110280ddee8SMarshall Clow bool enabled_ ;
111280ddee8SMarshall Clow };
112280ddee8SMarshall Clow }
113280ddee8SMarshall Clow
114e4512b53SLouis Dionne //
115e4512b53SLouis Dionne // Externally visible routines
116e4512b53SLouis Dionne //
117280ddee8SMarshall Clow
118c4225e12SEric Fiselier namespace {
119c4225e12SEric Fiselier _LIBCXXABI_NORETURN
throw_bad_array_new_length()120c4225e12SEric Fiselier void throw_bad_array_new_length() {
121c4225e12SEric Fiselier #ifndef _LIBCXXABI_NO_EXCEPTIONS
122c4225e12SEric Fiselier throw std::bad_array_new_length();
123c4225e12SEric Fiselier #else
124c4225e12SEric Fiselier abort_message("__cxa_vec_new failed to allocate memory");
125c4225e12SEric Fiselier #endif
126c4225e12SEric Fiselier }
127c4225e12SEric Fiselier
mul_overflow(size_t x,size_t y,size_t * res)128f3246384SEric Fiselier bool mul_overflow(size_t x, size_t y, size_t *res) {
129f3246384SEric Fiselier #if (defined(_LIBCXXABI_COMPILER_CLANG) && __has_builtin(__builtin_mul_overflow)) \
130f3246384SEric Fiselier || defined(_LIBCXXABI_COMPILER_GCC)
131f3246384SEric Fiselier return __builtin_mul_overflow(x, y, res);
132f3246384SEric Fiselier #else
133f3246384SEric Fiselier *res = x * y;
134f3246384SEric Fiselier return x && ((*res / x) != y);
135f3246384SEric Fiselier #endif
136f3246384SEric Fiselier }
137f3246384SEric Fiselier
add_overflow(size_t x,size_t y,size_t * res)138f3246384SEric Fiselier bool add_overflow(size_t x, size_t y, size_t *res) {
139f3246384SEric Fiselier #if (defined(_LIBCXXABI_COMPILER_CLANG) && __has_builtin(__builtin_add_overflow)) \
140f3246384SEric Fiselier || defined(_LIBCXXABI_COMPILER_GCC)
141f3246384SEric Fiselier return __builtin_add_overflow(x, y, res);
142f3246384SEric Fiselier #else
143f3246384SEric Fiselier *res = x + y;
144f3246384SEric Fiselier return *res < y;
145f3246384SEric Fiselier #endif
146f3246384SEric Fiselier }
147f3246384SEric Fiselier
calculate_allocation_size_or_throw(size_t element_count,size_t element_size,size_t padding_size)148c4225e12SEric Fiselier size_t calculate_allocation_size_or_throw(size_t element_count,
149c4225e12SEric Fiselier size_t element_size,
150c4225e12SEric Fiselier size_t padding_size) {
151f3246384SEric Fiselier size_t element_heap_size;
152f3246384SEric Fiselier if (mul_overflow(element_count, element_size, &element_heap_size))
153c4225e12SEric Fiselier throw_bad_array_new_length();
154c4225e12SEric Fiselier
155f3246384SEric Fiselier size_t allocation_size;
156f3246384SEric Fiselier if (add_overflow(element_heap_size, padding_size, &allocation_size))
157c4225e12SEric Fiselier throw_bad_array_new_length();
158c4225e12SEric Fiselier
159c4225e12SEric Fiselier return allocation_size;
160c4225e12SEric Fiselier }
161c4225e12SEric Fiselier
162c4225e12SEric Fiselier } // namespace
163c4225e12SEric Fiselier
164280ddee8SMarshall Clow extern "C" {
165280ddee8SMarshall Clow
166280ddee8SMarshall Clow // Equivalent to
167280ddee8SMarshall Clow //
168280ddee8SMarshall Clow // __cxa_vec_new2(element_count, element_size, padding_size, constructor,
169280ddee8SMarshall Clow // destructor, &::operator new[], &::operator delete[])
17012315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void *
__cxa_vec_new(size_t element_count,size_t element_size,size_t padding_size,void (* constructor)(void *),void (* destructor)(void *))17112315edfSSaleem Abdulrasool __cxa_vec_new(size_t element_count, size_t element_size, size_t padding_size,
17212315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *)) {
173280ddee8SMarshall Clow return __cxa_vec_new2 ( element_count, element_size, padding_size,
174280ddee8SMarshall Clow constructor, destructor, &::operator new [], &::operator delete [] );
175280ddee8SMarshall Clow }
176280ddee8SMarshall Clow
177280ddee8SMarshall Clow
178280ddee8SMarshall Clow // Given the number and size of elements for an array and the non-negative
179280ddee8SMarshall Clow // size of prefix padding for a cookie, allocate space (using alloc) for
180280ddee8SMarshall Clow // the array preceded by the specified padding, initialize the cookie if
181280ddee8SMarshall Clow // the padding is non-zero, and call the given constructor on each element.
182280ddee8SMarshall Clow // Return the address of the array proper, after the padding.
183280ddee8SMarshall Clow //
184280ddee8SMarshall Clow // If alloc throws an exception, rethrow the exception. If alloc returns
185280ddee8SMarshall Clow // NULL, return NULL. If the constructor throws an exception, call
186280ddee8SMarshall Clow // destructor for any already constructed elements, and rethrow the
187280ddee8SMarshall Clow // exception. If the destructor throws an exception, call std::terminate.
188280ddee8SMarshall Clow //
189280ddee8SMarshall Clow // The constructor may be NULL, in which case it must not be called. If the
190280ddee8SMarshall Clow // padding_size is zero, the destructor may be NULL; in that case it must
191280ddee8SMarshall Clow // not be called.
192280ddee8SMarshall Clow //
193280ddee8SMarshall Clow // Neither alloc nor dealloc may be NULL.
19412315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void *
__cxa_vec_new2(size_t element_count,size_t element_size,size_t padding_size,void (* constructor)(void *),void (* destructor)(void *),void * (* alloc)(size_t),void (* dealloc)(void *))19512315edfSSaleem Abdulrasool __cxa_vec_new2(size_t element_count, size_t element_size, size_t padding_size,
19612315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *),
19712315edfSSaleem Abdulrasool void *(*alloc)(size_t), void (*dealloc)(void *)) {
198c4225e12SEric Fiselier const size_t heap_size = calculate_allocation_size_or_throw(
199c4225e12SEric Fiselier element_count, element_size, padding_size);
200280ddee8SMarshall Clow char* const heap_block = static_cast<char*>(alloc(heap_size));
201280ddee8SMarshall Clow char* vec_base = heap_block;
202280ddee8SMarshall Clow
203280ddee8SMarshall Clow if (NULL != vec_base) {
204280ddee8SMarshall Clow st_heap_block2 heap(dealloc, heap_block);
205280ddee8SMarshall Clow
206280ddee8SMarshall Clow // put the padding before the array elements
207280ddee8SMarshall Clow if ( 0 != padding_size ) {
208280ddee8SMarshall Clow vec_base += padding_size;
209280ddee8SMarshall Clow __set_element_count ( vec_base, element_count );
210280ddee8SMarshall Clow }
211280ddee8SMarshall Clow
212280ddee8SMarshall Clow // Construct the elements
213280ddee8SMarshall Clow __cxa_vec_ctor ( vec_base, element_count, element_size, constructor, destructor );
214280ddee8SMarshall Clow heap.release (); // We're good!
215280ddee8SMarshall Clow }
216280ddee8SMarshall Clow
217280ddee8SMarshall Clow return vec_base;
218280ddee8SMarshall Clow }
219280ddee8SMarshall Clow
220280ddee8SMarshall Clow
221280ddee8SMarshall Clow // Same as __cxa_vec_new2 except that the deallocation function takes both
222280ddee8SMarshall Clow // the object address and its size.
22312315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void *
__cxa_vec_new3(size_t element_count,size_t element_size,size_t padding_size,void (* constructor)(void *),void (* destructor)(void *),void * (* alloc)(size_t),void (* dealloc)(void *,size_t))22412315edfSSaleem Abdulrasool __cxa_vec_new3(size_t element_count, size_t element_size, size_t padding_size,
22512315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *),
22612315edfSSaleem Abdulrasool void *(*alloc)(size_t), void (*dealloc)(void *, size_t)) {
227c4225e12SEric Fiselier const size_t heap_size = calculate_allocation_size_or_throw(
228c4225e12SEric Fiselier element_count, element_size, padding_size);
229280ddee8SMarshall Clow char* const heap_block = static_cast<char*>(alloc(heap_size));
230280ddee8SMarshall Clow char* vec_base = heap_block;
231280ddee8SMarshall Clow
232280ddee8SMarshall Clow if (NULL != vec_base) {
233280ddee8SMarshall Clow st_heap_block3 heap(dealloc, heap_block, heap_size);
234280ddee8SMarshall Clow
235280ddee8SMarshall Clow // put the padding before the array elements
236280ddee8SMarshall Clow if ( 0 != padding_size ) {
237280ddee8SMarshall Clow vec_base += padding_size;
238280ddee8SMarshall Clow __set_element_count ( vec_base, element_count );
239280ddee8SMarshall Clow }
240280ddee8SMarshall Clow
241280ddee8SMarshall Clow // Construct the elements
242280ddee8SMarshall Clow __cxa_vec_ctor ( vec_base, element_count, element_size, constructor, destructor );
243280ddee8SMarshall Clow heap.release (); // We're good!
244280ddee8SMarshall Clow }
245280ddee8SMarshall Clow
246280ddee8SMarshall Clow return vec_base;
247280ddee8SMarshall Clow }
248280ddee8SMarshall Clow
249280ddee8SMarshall Clow
250280ddee8SMarshall Clow // Given the (data) addresses of a destination and a source array, an
251280ddee8SMarshall Clow // element count and an element size, call the given copy constructor to
252280ddee8SMarshall Clow // copy each element from the source array to the destination array. The
253280ddee8SMarshall Clow // copy constructor's arguments are the destination address and source
254280ddee8SMarshall Clow // address, respectively. If an exception occurs, call the given destructor
255280ddee8SMarshall Clow // (if non-NULL) on each copied element and rethrow. If the destructor
256280ddee8SMarshall Clow // throws an exception, call terminate(). The constructor and or destructor
257280ddee8SMarshall Clow // pointers may be NULL. If either is NULL, no action is taken when it
258280ddee8SMarshall Clow // would have been called.
259280ddee8SMarshall Clow
__cxa_vec_cctor(void * dest_array,void * src_array,size_t element_count,size_t element_size,void (* constructor)(void *,void *),void (* destructor)(void *))26012315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_cctor(void *dest_array, void *src_array,
26112315edfSSaleem Abdulrasool size_t element_count,
26212315edfSSaleem Abdulrasool size_t element_size,
26312315edfSSaleem Abdulrasool void (*constructor)(void *, void *),
264242d67b6SSaleem Abdulrasool void (*destructor)(void *)) {
265280ddee8SMarshall Clow if ( NULL != constructor ) {
266280ddee8SMarshall Clow size_t idx = 0;
267280ddee8SMarshall Clow char *src_ptr = static_cast<char *>(src_array);
268280ddee8SMarshall Clow char *dest_ptr = static_cast<char *>(dest_array);
269280ddee8SMarshall Clow st_cxa_cleanup cleanup ( dest_array, idx, element_size, destructor );
270280ddee8SMarshall Clow
271280ddee8SMarshall Clow for ( idx = 0; idx < element_count;
272280ddee8SMarshall Clow ++idx, src_ptr += element_size, dest_ptr += element_size )
273280ddee8SMarshall Clow constructor ( dest_ptr, src_ptr );
274280ddee8SMarshall Clow cleanup.release (); // We're good!
275280ddee8SMarshall Clow }
276280ddee8SMarshall Clow }
277280ddee8SMarshall Clow
278280ddee8SMarshall Clow
279280ddee8SMarshall Clow // Given the (data) address of an array, not including any cookie padding,
280280ddee8SMarshall Clow // and the number and size of its elements, call the given constructor on
281280ddee8SMarshall Clow // each element. If the constructor throws an exception, call the given
282280ddee8SMarshall Clow // destructor for any already-constructed elements, and rethrow the
283280ddee8SMarshall Clow // exception. If the destructor throws an exception, call terminate(). The
284280ddee8SMarshall Clow // constructor and/or destructor pointers may be NULL. If either is NULL,
285280ddee8SMarshall Clow // no action is taken when it would have been called.
28612315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void
__cxa_vec_ctor(void * array_address,size_t element_count,size_t element_size,void (* constructor)(void *),void (* destructor)(void *))28712315edfSSaleem Abdulrasool __cxa_vec_ctor(void *array_address, size_t element_count, size_t element_size,
28812315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *)) {
289280ddee8SMarshall Clow if ( NULL != constructor ) {
290280ddee8SMarshall Clow size_t idx;
291280ddee8SMarshall Clow char *ptr = static_cast <char *> ( array_address );
292280ddee8SMarshall Clow st_cxa_cleanup cleanup ( array_address, idx, element_size, destructor );
293280ddee8SMarshall Clow
294280ddee8SMarshall Clow // Construct the elements
295280ddee8SMarshall Clow for ( idx = 0; idx < element_count; ++idx, ptr += element_size )
296280ddee8SMarshall Clow constructor ( ptr );
297280ddee8SMarshall Clow cleanup.release (); // We're good!
298280ddee8SMarshall Clow }
299280ddee8SMarshall Clow }
300280ddee8SMarshall Clow
301280ddee8SMarshall Clow // Given the (data) address of an array, the number of elements, and the
302280ddee8SMarshall Clow // size of its elements, call the given destructor on each element. If the
303280ddee8SMarshall Clow // destructor throws an exception, rethrow after destroying the remaining
304280ddee8SMarshall Clow // elements if possible. If the destructor throws a second exception, call
305280ddee8SMarshall Clow // terminate(). The destructor pointer may be NULL, in which case this
306280ddee8SMarshall Clow // routine does nothing.
__cxa_vec_dtor(void * array_address,size_t element_count,size_t element_size,void (* destructor)(void *))30712315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_dtor(void *array_address,
30812315edfSSaleem Abdulrasool size_t element_count,
30912315edfSSaleem Abdulrasool size_t element_size,
31012315edfSSaleem Abdulrasool void (*destructor)(void *)) {
311280ddee8SMarshall Clow if ( NULL != destructor ) {
312280ddee8SMarshall Clow char *ptr = static_cast <char *> (array_address);
313280ddee8SMarshall Clow size_t idx = element_count;
314280ddee8SMarshall Clow st_cxa_cleanup cleanup ( array_address, idx, element_size, destructor );
315280ddee8SMarshall Clow {
3167fdfd5d2SHoward Hinnant st_terminate exception_guard (__cxa_uncaught_exception ());
317280ddee8SMarshall Clow ptr += element_count * element_size; // one past the last element
318280ddee8SMarshall Clow
319280ddee8SMarshall Clow while ( idx-- > 0 ) {
320280ddee8SMarshall Clow ptr -= element_size;
321280ddee8SMarshall Clow destructor ( ptr );
322280ddee8SMarshall Clow }
323280ddee8SMarshall Clow exception_guard.release (); // We're good !
324280ddee8SMarshall Clow }
325280ddee8SMarshall Clow cleanup.release (); // We're still good!
326280ddee8SMarshall Clow }
327280ddee8SMarshall Clow }
328280ddee8SMarshall Clow
329280ddee8SMarshall Clow // Given the (data) address of an array, the number of elements, and the
330280ddee8SMarshall Clow // size of its elements, call the given destructor on each element. If the
331280ddee8SMarshall Clow // destructor throws an exception, call terminate(). The destructor pointer
332280ddee8SMarshall Clow // may be NULL, in which case this routine does nothing.
__cxa_vec_cleanup(void * array_address,size_t element_count,size_t element_size,void (* destructor)(void *))33312315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_cleanup(void *array_address,
33412315edfSSaleem Abdulrasool size_t element_count,
33512315edfSSaleem Abdulrasool size_t element_size,
33612315edfSSaleem Abdulrasool void (*destructor)(void *)) {
337280ddee8SMarshall Clow if ( NULL != destructor ) {
338280ddee8SMarshall Clow char *ptr = static_cast <char *> (array_address);
339280ddee8SMarshall Clow size_t idx = element_count;
340280ddee8SMarshall Clow st_terminate exception_guard;
341280ddee8SMarshall Clow
342280ddee8SMarshall Clow ptr += element_count * element_size; // one past the last element
343280ddee8SMarshall Clow while ( idx-- > 0 ) {
344280ddee8SMarshall Clow ptr -= element_size;
345280ddee8SMarshall Clow destructor ( ptr );
346280ddee8SMarshall Clow }
347280ddee8SMarshall Clow exception_guard.release (); // We're done!
348280ddee8SMarshall Clow }
349280ddee8SMarshall Clow }
350280ddee8SMarshall Clow
351280ddee8SMarshall Clow
352280ddee8SMarshall Clow // If the array_address is NULL, return immediately. Otherwise, given the
353280ddee8SMarshall Clow // (data) address of an array, the non-negative size of prefix padding for
354280ddee8SMarshall Clow // the cookie, and the size of its elements, call the given destructor on
355280ddee8SMarshall Clow // each element, using the cookie to determine the number of elements, and
356280ddee8SMarshall Clow // then delete the space by calling ::operator delete[](void *). If the
357280ddee8SMarshall Clow // destructor throws an exception, rethrow after (a) destroying the
358280ddee8SMarshall Clow // remaining elements, and (b) deallocating the storage. If the destructor
359280ddee8SMarshall Clow // throws a second exception, call terminate(). If padding_size is 0, the
360280ddee8SMarshall Clow // destructor pointer must be NULL. If the destructor pointer is NULL, no
361280ddee8SMarshall Clow // destructor call is to be made.
362280ddee8SMarshall Clow //
363280ddee8SMarshall Clow // The intent of this function is to permit an implementation to call this
364280ddee8SMarshall Clow // function when confronted with an expression of the form delete[] p in
365280ddee8SMarshall Clow // the source code, provided that the default deallocation function can be
366280ddee8SMarshall Clow // used. Therefore, the semantics of this function are consistent with
367280ddee8SMarshall Clow // those required by the standard. The requirement that the deallocation
368280ddee8SMarshall Clow // function be called even if the destructor throws an exception derives
369280ddee8SMarshall Clow // from the resolution to DR 353 to the C++ standard, which was adopted in
370280ddee8SMarshall Clow // April, 2003.
__cxa_vec_delete(void * array_address,size_t element_size,size_t padding_size,void (* destructor)(void *))37112315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_delete(void *array_address,
37212315edfSSaleem Abdulrasool size_t element_size,
37312315edfSSaleem Abdulrasool size_t padding_size,
37412315edfSSaleem Abdulrasool void (*destructor)(void *)) {
375280ddee8SMarshall Clow __cxa_vec_delete2 ( array_address, element_size, padding_size,
376280ddee8SMarshall Clow destructor, &::operator delete [] );
377280ddee8SMarshall Clow }
378280ddee8SMarshall Clow
379280ddee8SMarshall Clow // Same as __cxa_vec_delete, except that the given function is used for
380280ddee8SMarshall Clow // deallocation instead of the default delete function. If dealloc throws
381280ddee8SMarshall Clow // an exception, the result is undefined. The dealloc pointer may not be
382280ddee8SMarshall Clow // NULL.
38312315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void
__cxa_vec_delete2(void * array_address,size_t element_size,size_t padding_size,void (* destructor)(void *),void (* dealloc)(void *))38412315edfSSaleem Abdulrasool __cxa_vec_delete2(void *array_address, size_t element_size, size_t padding_size,
38512315edfSSaleem Abdulrasool void (*destructor)(void *), void (*dealloc)(void *)) {
386280ddee8SMarshall Clow if ( NULL != array_address ) {
387280ddee8SMarshall Clow char *vec_base = static_cast <char *> (array_address);
388280ddee8SMarshall Clow char *heap_block = vec_base - padding_size;
389280ddee8SMarshall Clow st_heap_block2 heap ( dealloc, heap_block );
390280ddee8SMarshall Clow
391280ddee8SMarshall Clow if ( 0 != padding_size && NULL != destructor ) // call the destructors
392280ddee8SMarshall Clow __cxa_vec_dtor ( array_address, __get_element_count ( vec_base ),
393280ddee8SMarshall Clow element_size, destructor );
394280ddee8SMarshall Clow }
395280ddee8SMarshall Clow }
396280ddee8SMarshall Clow
397280ddee8SMarshall Clow
398280ddee8SMarshall Clow // Same as __cxa_vec_delete, except that the given function is used for
399280ddee8SMarshall Clow // deallocation instead of the default delete function. The deallocation
400280ddee8SMarshall Clow // function takes both the object address and its size. If dealloc throws
401280ddee8SMarshall Clow // an exception, the result is undefined. The dealloc pointer may not be
402280ddee8SMarshall Clow // NULL.
40312315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void
__cxa_vec_delete3(void * array_address,size_t element_size,size_t padding_size,void (* destructor)(void *),void (* dealloc)(void *,size_t))40412315edfSSaleem Abdulrasool __cxa_vec_delete3(void *array_address, size_t element_size, size_t padding_size,
40512315edfSSaleem Abdulrasool void (*destructor)(void *), void (*dealloc)(void *, size_t)) {
406280ddee8SMarshall Clow if ( NULL != array_address ) {
407280ddee8SMarshall Clow char *vec_base = static_cast <char *> (array_address);
408280ddee8SMarshall Clow char *heap_block = vec_base - padding_size;
409280ddee8SMarshall Clow const size_t element_count = padding_size ? __get_element_count ( vec_base ) : 0;
410280ddee8SMarshall Clow const size_t heap_block_size = element_size * element_count + padding_size;
411280ddee8SMarshall Clow st_heap_block3 heap ( dealloc, heap_block, heap_block_size );
412280ddee8SMarshall Clow
413280ddee8SMarshall Clow if ( 0 != padding_size && NULL != destructor ) // call the destructors
414280ddee8SMarshall Clow __cxa_vec_dtor ( array_address, element_count, element_size, destructor );
415280ddee8SMarshall Clow }
416280ddee8SMarshall Clow }
417280ddee8SMarshall Clow
418280ddee8SMarshall Clow
419280ddee8SMarshall Clow } // extern "C"
420280ddee8SMarshall Clow
421280ddee8SMarshall Clow } // abi
422