1280ddee8SMarshall Clow //===-------------------------- cxa_vector.cpp ---------------------------===// 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" 9*2b0da3d6SLouis Dionne // https://itanium-cxx-abi.github.io/cxx-abi/abi.html#array-ctor 10280ddee8SMarshall Clow // 11280ddee8SMarshall Clow //===----------------------------------------------------------------------===// 12280ddee8SMarshall Clow 13280ddee8SMarshall Clow #include "cxxabi.h" 14280ddee8SMarshall Clow 15280ddee8SMarshall Clow #include <exception> // for std::terminate 16c4225e12SEric Fiselier #include <new> // for std::bad_alloc 17c4225e12SEric Fiselier 18c4225e12SEric Fiselier #include "abort_message.h" 19280ddee8SMarshall Clow 20280ddee8SMarshall Clow namespace __cxxabiv1 { 21280ddee8SMarshall Clow 225b2d125cSNick Lewycky #if 0 23280ddee8SMarshall Clow #pragma mark --Helper routines and classes -- 245b2d125cSNick Lewycky #endif 25280ddee8SMarshall Clow 26280ddee8SMarshall Clow namespace { 27280ddee8SMarshall Clow inline static size_t __get_element_count ( void *p ) { 28280ddee8SMarshall Clow return static_cast <size_t *> (p)[-1]; 29280ddee8SMarshall Clow } 30280ddee8SMarshall Clow 31280ddee8SMarshall Clow inline static void __set_element_count ( void *p, size_t element_count ) { 32280ddee8SMarshall Clow static_cast <size_t *> (p)[-1] = element_count; 33280ddee8SMarshall Clow } 34280ddee8SMarshall Clow 35280ddee8SMarshall Clow 36280ddee8SMarshall Clow // A pair of classes to simplify exception handling and control flow. 37280ddee8SMarshall Clow // They get passed a block of memory in the constructor, and unless the 38280ddee8SMarshall Clow // 'release' method is called, they deallocate the memory in the destructor. 39be2eced4SHoward Hinnant // Preferred usage is to allocate some memory, attach it to one of these objects, 40280ddee8SMarshall Clow // and then, when all the operations to set up the memory block have succeeded, 41280ddee8SMarshall Clow // call 'release'. If any of the setup operations fail, or an exception is 42280ddee8SMarshall Clow // thrown, then the block is automatically deallocated. 43280ddee8SMarshall Clow // 44280ddee8SMarshall Clow // The only difference between these two classes is the signature for the 45280ddee8SMarshall Clow // deallocation function (to match new2/new3 and delete2/delete3. 46280ddee8SMarshall Clow class st_heap_block2 { 47280ddee8SMarshall Clow public: 48280ddee8SMarshall Clow typedef void (*dealloc_f)(void *); 49280ddee8SMarshall Clow 50280ddee8SMarshall Clow st_heap_block2 ( dealloc_f dealloc, void *ptr ) 51280ddee8SMarshall Clow : dealloc_ ( dealloc ), ptr_ ( ptr ), enabled_ ( true ) {} 52280ddee8SMarshall Clow ~st_heap_block2 () { if ( enabled_ ) dealloc_ ( ptr_ ) ; } 53280ddee8SMarshall Clow void release () { enabled_ = false; } 54280ddee8SMarshall Clow 55280ddee8SMarshall Clow private: 56280ddee8SMarshall Clow dealloc_f dealloc_; 57280ddee8SMarshall Clow void *ptr_; 58280ddee8SMarshall Clow bool enabled_; 59280ddee8SMarshall Clow }; 60280ddee8SMarshall Clow 61280ddee8SMarshall Clow class st_heap_block3 { 62280ddee8SMarshall Clow public: 63280ddee8SMarshall Clow typedef void (*dealloc_f)(void *, size_t); 64280ddee8SMarshall Clow 65280ddee8SMarshall Clow st_heap_block3 ( dealloc_f dealloc, void *ptr, size_t size ) 66280ddee8SMarshall Clow : dealloc_ ( dealloc ), ptr_ ( ptr ), size_ ( size ), enabled_ ( true ) {} 67280ddee8SMarshall Clow ~st_heap_block3 () { if ( enabled_ ) dealloc_ ( ptr_, size_ ) ; } 68280ddee8SMarshall Clow void release () { enabled_ = false; } 69280ddee8SMarshall Clow 70280ddee8SMarshall Clow private: 71280ddee8SMarshall Clow dealloc_f dealloc_; 72280ddee8SMarshall Clow void *ptr_; 73280ddee8SMarshall Clow size_t size_; 74280ddee8SMarshall Clow bool enabled_; 75280ddee8SMarshall Clow }; 76280ddee8SMarshall Clow 77280ddee8SMarshall Clow class st_cxa_cleanup { 78280ddee8SMarshall Clow public: 79280ddee8SMarshall Clow typedef void (*destruct_f)(void *); 80280ddee8SMarshall Clow 81280ddee8SMarshall Clow st_cxa_cleanup ( void *ptr, size_t &idx, size_t element_size, destruct_f destructor ) 82280ddee8SMarshall Clow : ptr_ ( ptr ), idx_ ( idx ), element_size_ ( element_size ), 83280ddee8SMarshall Clow destructor_ ( destructor ), enabled_ ( true ) {} 84280ddee8SMarshall Clow ~st_cxa_cleanup () { 85280ddee8SMarshall Clow if ( enabled_ ) 86280ddee8SMarshall Clow __cxa_vec_cleanup ( ptr_, idx_, element_size_, destructor_ ); 87280ddee8SMarshall Clow } 88280ddee8SMarshall Clow 89280ddee8SMarshall Clow void release () { enabled_ = false; } 90280ddee8SMarshall Clow 91280ddee8SMarshall Clow private: 92280ddee8SMarshall Clow void *ptr_; 93280ddee8SMarshall Clow size_t &idx_; 94280ddee8SMarshall Clow size_t element_size_; 95280ddee8SMarshall Clow destruct_f destructor_; 96280ddee8SMarshall Clow bool enabled_; 97280ddee8SMarshall Clow }; 98280ddee8SMarshall Clow 99280ddee8SMarshall Clow class st_terminate { 100280ddee8SMarshall Clow public: 101280ddee8SMarshall Clow st_terminate ( bool enabled = true ) : enabled_ ( enabled ) {} 102280ddee8SMarshall Clow ~st_terminate () { if ( enabled_ ) std::terminate (); } 103280ddee8SMarshall Clow void release () { enabled_ = false; } 104280ddee8SMarshall Clow private: 105280ddee8SMarshall Clow bool enabled_ ; 106280ddee8SMarshall Clow }; 107280ddee8SMarshall Clow } 108280ddee8SMarshall Clow 1095b2d125cSNick Lewycky #if 0 110280ddee8SMarshall Clow #pragma mark --Externally visible routines-- 1115b2d125cSNick Lewycky #endif 112280ddee8SMarshall Clow 113c4225e12SEric Fiselier namespace { 114c4225e12SEric Fiselier _LIBCXXABI_NORETURN 115c4225e12SEric Fiselier void throw_bad_array_new_length() { 116c4225e12SEric Fiselier #ifndef _LIBCXXABI_NO_EXCEPTIONS 117c4225e12SEric Fiselier throw std::bad_array_new_length(); 118c4225e12SEric Fiselier #else 119c4225e12SEric Fiselier abort_message("__cxa_vec_new failed to allocate memory"); 120c4225e12SEric Fiselier #endif 121c4225e12SEric Fiselier } 122c4225e12SEric Fiselier 123c4225e12SEric Fiselier size_t calculate_allocation_size_or_throw(size_t element_count, 124c4225e12SEric Fiselier size_t element_size, 125c4225e12SEric Fiselier size_t padding_size) { 126c4225e12SEric Fiselier const size_t element_heap_size = element_count * element_size; 127c4225e12SEric Fiselier if (element_heap_size / element_count != element_size) 128c4225e12SEric Fiselier throw_bad_array_new_length(); 129c4225e12SEric Fiselier 130c4225e12SEric Fiselier const size_t allocation_size = element_heap_size + padding_size; 131c4225e12SEric Fiselier if (allocation_size < element_heap_size) 132c4225e12SEric Fiselier throw_bad_array_new_length(); 133c4225e12SEric Fiselier 134c4225e12SEric Fiselier return allocation_size; 135c4225e12SEric Fiselier } 136c4225e12SEric Fiselier 137c4225e12SEric Fiselier } // namespace 138c4225e12SEric Fiselier 139280ddee8SMarshall Clow extern "C" { 140280ddee8SMarshall Clow 141280ddee8SMarshall Clow // Equivalent to 142280ddee8SMarshall Clow // 143280ddee8SMarshall Clow // __cxa_vec_new2(element_count, element_size, padding_size, constructor, 144280ddee8SMarshall Clow // destructor, &::operator new[], &::operator delete[]) 14512315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void * 14612315edfSSaleem Abdulrasool __cxa_vec_new(size_t element_count, size_t element_size, size_t padding_size, 14712315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *)) { 148280ddee8SMarshall Clow return __cxa_vec_new2 ( element_count, element_size, padding_size, 149280ddee8SMarshall Clow constructor, destructor, &::operator new [], &::operator delete [] ); 150280ddee8SMarshall Clow } 151280ddee8SMarshall Clow 152280ddee8SMarshall Clow 153280ddee8SMarshall Clow // Given the number and size of elements for an array and the non-negative 154280ddee8SMarshall Clow // size of prefix padding for a cookie, allocate space (using alloc) for 155280ddee8SMarshall Clow // the array preceded by the specified padding, initialize the cookie if 156280ddee8SMarshall Clow // the padding is non-zero, and call the given constructor on each element. 157280ddee8SMarshall Clow // Return the address of the array proper, after the padding. 158280ddee8SMarshall Clow // 159280ddee8SMarshall Clow // If alloc throws an exception, rethrow the exception. If alloc returns 160280ddee8SMarshall Clow // NULL, return NULL. If the constructor throws an exception, call 161280ddee8SMarshall Clow // destructor for any already constructed elements, and rethrow the 162280ddee8SMarshall Clow // exception. If the destructor throws an exception, call std::terminate. 163280ddee8SMarshall Clow // 164280ddee8SMarshall Clow // The constructor may be NULL, in which case it must not be called. If the 165280ddee8SMarshall Clow // padding_size is zero, the destructor may be NULL; in that case it must 166280ddee8SMarshall Clow // not be called. 167280ddee8SMarshall Clow // 168280ddee8SMarshall Clow // Neither alloc nor dealloc may be NULL. 16912315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void * 17012315edfSSaleem Abdulrasool __cxa_vec_new2(size_t element_count, size_t element_size, size_t padding_size, 17112315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *), 17212315edfSSaleem Abdulrasool void *(*alloc)(size_t), void (*dealloc)(void *)) { 173c4225e12SEric Fiselier const size_t heap_size = calculate_allocation_size_or_throw( 174c4225e12SEric Fiselier element_count, element_size, padding_size); 175280ddee8SMarshall Clow char* const heap_block = static_cast<char*>(alloc(heap_size)); 176280ddee8SMarshall Clow char* vec_base = heap_block; 177280ddee8SMarshall Clow 178280ddee8SMarshall Clow if (NULL != vec_base) { 179280ddee8SMarshall Clow st_heap_block2 heap(dealloc, heap_block); 180280ddee8SMarshall Clow 181280ddee8SMarshall Clow // put the padding before the array elements 182280ddee8SMarshall Clow if ( 0 != padding_size ) { 183280ddee8SMarshall Clow vec_base += padding_size; 184280ddee8SMarshall Clow __set_element_count ( vec_base, element_count ); 185280ddee8SMarshall Clow } 186280ddee8SMarshall Clow 187280ddee8SMarshall Clow // Construct the elements 188280ddee8SMarshall Clow __cxa_vec_ctor ( vec_base, element_count, element_size, constructor, destructor ); 189280ddee8SMarshall Clow heap.release (); // We're good! 190280ddee8SMarshall Clow } 191280ddee8SMarshall Clow 192280ddee8SMarshall Clow return vec_base; 193280ddee8SMarshall Clow } 194280ddee8SMarshall Clow 195280ddee8SMarshall Clow 196280ddee8SMarshall Clow // Same as __cxa_vec_new2 except that the deallocation function takes both 197280ddee8SMarshall Clow // the object address and its size. 19812315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void * 19912315edfSSaleem Abdulrasool __cxa_vec_new3(size_t element_count, size_t element_size, size_t padding_size, 20012315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *), 20112315edfSSaleem Abdulrasool void *(*alloc)(size_t), void (*dealloc)(void *, size_t)) { 202c4225e12SEric Fiselier const size_t heap_size = calculate_allocation_size_or_throw( 203c4225e12SEric Fiselier element_count, element_size, padding_size); 204280ddee8SMarshall Clow char* const heap_block = static_cast<char*>(alloc(heap_size)); 205280ddee8SMarshall Clow char* vec_base = heap_block; 206280ddee8SMarshall Clow 207280ddee8SMarshall Clow if (NULL != vec_base) { 208280ddee8SMarshall Clow st_heap_block3 heap(dealloc, heap_block, heap_size); 209280ddee8SMarshall Clow 210280ddee8SMarshall Clow // put the padding before the array elements 211280ddee8SMarshall Clow if ( 0 != padding_size ) { 212280ddee8SMarshall Clow vec_base += padding_size; 213280ddee8SMarshall Clow __set_element_count ( vec_base, element_count ); 214280ddee8SMarshall Clow } 215280ddee8SMarshall Clow 216280ddee8SMarshall Clow // Construct the elements 217280ddee8SMarshall Clow __cxa_vec_ctor ( vec_base, element_count, element_size, constructor, destructor ); 218280ddee8SMarshall Clow heap.release (); // We're good! 219280ddee8SMarshall Clow } 220280ddee8SMarshall Clow 221280ddee8SMarshall Clow return vec_base; 222280ddee8SMarshall Clow } 223280ddee8SMarshall Clow 224280ddee8SMarshall Clow 225280ddee8SMarshall Clow // Given the (data) addresses of a destination and a source array, an 226280ddee8SMarshall Clow // element count and an element size, call the given copy constructor to 227280ddee8SMarshall Clow // copy each element from the source array to the destination array. The 228280ddee8SMarshall Clow // copy constructor's arguments are the destination address and source 229280ddee8SMarshall Clow // address, respectively. If an exception occurs, call the given destructor 230280ddee8SMarshall Clow // (if non-NULL) on each copied element and rethrow. If the destructor 231280ddee8SMarshall Clow // throws an exception, call terminate(). The constructor and or destructor 232280ddee8SMarshall Clow // pointers may be NULL. If either is NULL, no action is taken when it 233280ddee8SMarshall Clow // would have been called. 234280ddee8SMarshall Clow 23512315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_cctor(void *dest_array, void *src_array, 23612315edfSSaleem Abdulrasool size_t element_count, 23712315edfSSaleem Abdulrasool size_t element_size, 23812315edfSSaleem Abdulrasool void (*constructor)(void *, void *), 239242d67b6SSaleem Abdulrasool void (*destructor)(void *)) { 240280ddee8SMarshall Clow if ( NULL != constructor ) { 241280ddee8SMarshall Clow size_t idx = 0; 242280ddee8SMarshall Clow char *src_ptr = static_cast<char *>(src_array); 243280ddee8SMarshall Clow char *dest_ptr = static_cast<char *>(dest_array); 244280ddee8SMarshall Clow st_cxa_cleanup cleanup ( dest_array, idx, element_size, destructor ); 245280ddee8SMarshall Clow 246280ddee8SMarshall Clow for ( idx = 0; idx < element_count; 247280ddee8SMarshall Clow ++idx, src_ptr += element_size, dest_ptr += element_size ) 248280ddee8SMarshall Clow constructor ( dest_ptr, src_ptr ); 249280ddee8SMarshall Clow cleanup.release (); // We're good! 250280ddee8SMarshall Clow } 251280ddee8SMarshall Clow } 252280ddee8SMarshall Clow 253280ddee8SMarshall Clow 254280ddee8SMarshall Clow // Given the (data) address of an array, not including any cookie padding, 255280ddee8SMarshall Clow // and the number and size of its elements, call the given constructor on 256280ddee8SMarshall Clow // each element. If the constructor throws an exception, call the given 257280ddee8SMarshall Clow // destructor for any already-constructed elements, and rethrow the 258280ddee8SMarshall Clow // exception. If the destructor throws an exception, call terminate(). The 259280ddee8SMarshall Clow // constructor and/or destructor pointers may be NULL. If either is NULL, 260280ddee8SMarshall Clow // no action is taken when it would have been called. 26112315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void 26212315edfSSaleem Abdulrasool __cxa_vec_ctor(void *array_address, size_t element_count, size_t element_size, 26312315edfSSaleem Abdulrasool void (*constructor)(void *), void (*destructor)(void *)) { 264280ddee8SMarshall Clow if ( NULL != constructor ) { 265280ddee8SMarshall Clow size_t idx; 266280ddee8SMarshall Clow char *ptr = static_cast <char *> ( array_address ); 267280ddee8SMarshall Clow st_cxa_cleanup cleanup ( array_address, idx, element_size, destructor ); 268280ddee8SMarshall Clow 269280ddee8SMarshall Clow // Construct the elements 270280ddee8SMarshall Clow for ( idx = 0; idx < element_count; ++idx, ptr += element_size ) 271280ddee8SMarshall Clow constructor ( ptr ); 272280ddee8SMarshall Clow cleanup.release (); // We're good! 273280ddee8SMarshall Clow } 274280ddee8SMarshall Clow } 275280ddee8SMarshall Clow 276280ddee8SMarshall Clow // Given the (data) address of an array, the number of elements, and the 277280ddee8SMarshall Clow // size of its elements, call the given destructor on each element. If the 278280ddee8SMarshall Clow // destructor throws an exception, rethrow after destroying the remaining 279280ddee8SMarshall Clow // elements if possible. If the destructor throws a second exception, call 280280ddee8SMarshall Clow // terminate(). The destructor pointer may be NULL, in which case this 281280ddee8SMarshall Clow // routine does nothing. 28212315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_dtor(void *array_address, 28312315edfSSaleem Abdulrasool size_t element_count, 28412315edfSSaleem Abdulrasool size_t element_size, 28512315edfSSaleem Abdulrasool void (*destructor)(void *)) { 286280ddee8SMarshall Clow if ( NULL != destructor ) { 287280ddee8SMarshall Clow char *ptr = static_cast <char *> (array_address); 288280ddee8SMarshall Clow size_t idx = element_count; 289280ddee8SMarshall Clow st_cxa_cleanup cleanup ( array_address, idx, element_size, destructor ); 290280ddee8SMarshall Clow { 2917fdfd5d2SHoward Hinnant st_terminate exception_guard (__cxa_uncaught_exception ()); 292280ddee8SMarshall Clow ptr += element_count * element_size; // one past the last element 293280ddee8SMarshall Clow 294280ddee8SMarshall Clow while ( idx-- > 0 ) { 295280ddee8SMarshall Clow ptr -= element_size; 296280ddee8SMarshall Clow destructor ( ptr ); 297280ddee8SMarshall Clow } 298280ddee8SMarshall Clow exception_guard.release (); // We're good ! 299280ddee8SMarshall Clow } 300280ddee8SMarshall Clow cleanup.release (); // We're still good! 301280ddee8SMarshall Clow } 302280ddee8SMarshall Clow } 303280ddee8SMarshall Clow 304280ddee8SMarshall Clow // Given the (data) address of an array, the number of elements, and the 305280ddee8SMarshall Clow // size of its elements, call the given destructor on each element. If the 306280ddee8SMarshall Clow // destructor throws an exception, call terminate(). The destructor pointer 307280ddee8SMarshall Clow // may be NULL, in which case this routine does nothing. 30812315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_cleanup(void *array_address, 30912315edfSSaleem Abdulrasool size_t element_count, 31012315edfSSaleem Abdulrasool size_t element_size, 31112315edfSSaleem Abdulrasool void (*destructor)(void *)) { 312280ddee8SMarshall Clow if ( NULL != destructor ) { 313280ddee8SMarshall Clow char *ptr = static_cast <char *> (array_address); 314280ddee8SMarshall Clow size_t idx = element_count; 315280ddee8SMarshall Clow st_terminate exception_guard; 316280ddee8SMarshall Clow 317280ddee8SMarshall Clow ptr += element_count * element_size; // one past the last element 318280ddee8SMarshall Clow while ( idx-- > 0 ) { 319280ddee8SMarshall Clow ptr -= element_size; 320280ddee8SMarshall Clow destructor ( ptr ); 321280ddee8SMarshall Clow } 322280ddee8SMarshall Clow exception_guard.release (); // We're done! 323280ddee8SMarshall Clow } 324280ddee8SMarshall Clow } 325280ddee8SMarshall Clow 326280ddee8SMarshall Clow 327280ddee8SMarshall Clow // If the array_address is NULL, return immediately. Otherwise, given the 328280ddee8SMarshall Clow // (data) address of an array, the non-negative size of prefix padding for 329280ddee8SMarshall Clow // the cookie, and the size of its elements, call the given destructor on 330280ddee8SMarshall Clow // each element, using the cookie to determine the number of elements, and 331280ddee8SMarshall Clow // then delete the space by calling ::operator delete[](void *). If the 332280ddee8SMarshall Clow // destructor throws an exception, rethrow after (a) destroying the 333280ddee8SMarshall Clow // remaining elements, and (b) deallocating the storage. If the destructor 334280ddee8SMarshall Clow // throws a second exception, call terminate(). If padding_size is 0, the 335280ddee8SMarshall Clow // destructor pointer must be NULL. If the destructor pointer is NULL, no 336280ddee8SMarshall Clow // destructor call is to be made. 337280ddee8SMarshall Clow // 338280ddee8SMarshall Clow // The intent of this function is to permit an implementation to call this 339280ddee8SMarshall Clow // function when confronted with an expression of the form delete[] p in 340280ddee8SMarshall Clow // the source code, provided that the default deallocation function can be 341280ddee8SMarshall Clow // used. Therefore, the semantics of this function are consistent with 342280ddee8SMarshall Clow // those required by the standard. The requirement that the deallocation 343280ddee8SMarshall Clow // function be called even if the destructor throws an exception derives 344280ddee8SMarshall Clow // from the resolution to DR 353 to the C++ standard, which was adopted in 345280ddee8SMarshall Clow // April, 2003. 34612315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void __cxa_vec_delete(void *array_address, 34712315edfSSaleem Abdulrasool size_t element_size, 34812315edfSSaleem Abdulrasool size_t padding_size, 34912315edfSSaleem Abdulrasool void (*destructor)(void *)) { 350280ddee8SMarshall Clow __cxa_vec_delete2 ( array_address, element_size, padding_size, 351280ddee8SMarshall Clow destructor, &::operator delete [] ); 352280ddee8SMarshall Clow } 353280ddee8SMarshall Clow 354280ddee8SMarshall Clow // Same as __cxa_vec_delete, except that the given function is used for 355280ddee8SMarshall Clow // deallocation instead of the default delete function. If dealloc throws 356280ddee8SMarshall Clow // an exception, the result is undefined. The dealloc pointer may not be 357280ddee8SMarshall Clow // NULL. 35812315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void 35912315edfSSaleem Abdulrasool __cxa_vec_delete2(void *array_address, size_t element_size, size_t padding_size, 36012315edfSSaleem Abdulrasool void (*destructor)(void *), void (*dealloc)(void *)) { 361280ddee8SMarshall Clow if ( NULL != array_address ) { 362280ddee8SMarshall Clow char *vec_base = static_cast <char *> (array_address); 363280ddee8SMarshall Clow char *heap_block = vec_base - padding_size; 364280ddee8SMarshall Clow st_heap_block2 heap ( dealloc, heap_block ); 365280ddee8SMarshall Clow 366280ddee8SMarshall Clow if ( 0 != padding_size && NULL != destructor ) // call the destructors 367280ddee8SMarshall Clow __cxa_vec_dtor ( array_address, __get_element_count ( vec_base ), 368280ddee8SMarshall Clow element_size, destructor ); 369280ddee8SMarshall Clow } 370280ddee8SMarshall Clow } 371280ddee8SMarshall Clow 372280ddee8SMarshall Clow 373280ddee8SMarshall Clow // Same as __cxa_vec_delete, except that the given function is used for 374280ddee8SMarshall Clow // deallocation instead of the default delete function. The deallocation 375280ddee8SMarshall Clow // function takes both the object address and its size. If dealloc throws 376280ddee8SMarshall Clow // an exception, the result is undefined. The dealloc pointer may not be 377280ddee8SMarshall Clow // NULL. 37812315edfSSaleem Abdulrasool _LIBCXXABI_FUNC_VIS void 37912315edfSSaleem Abdulrasool __cxa_vec_delete3(void *array_address, size_t element_size, size_t padding_size, 38012315edfSSaleem Abdulrasool void (*destructor)(void *), void (*dealloc)(void *, size_t)) { 381280ddee8SMarshall Clow if ( NULL != array_address ) { 382280ddee8SMarshall Clow char *vec_base = static_cast <char *> (array_address); 383280ddee8SMarshall Clow char *heap_block = vec_base - padding_size; 384280ddee8SMarshall Clow const size_t element_count = padding_size ? __get_element_count ( vec_base ) : 0; 385280ddee8SMarshall Clow const size_t heap_block_size = element_size * element_count + padding_size; 386280ddee8SMarshall Clow st_heap_block3 heap ( dealloc, heap_block, heap_block_size ); 387280ddee8SMarshall Clow 388280ddee8SMarshall Clow if ( 0 != padding_size && NULL != destructor ) // call the destructors 389280ddee8SMarshall Clow __cxa_vec_dtor ( array_address, element_count, element_size, destructor ); 390280ddee8SMarshall Clow } 391280ddee8SMarshall Clow } 392280ddee8SMarshall Clow 393280ddee8SMarshall Clow 394280ddee8SMarshall Clow } // extern "C" 395280ddee8SMarshall Clow 396280ddee8SMarshall Clow } // abi 397