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" 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" 14*f3246384SEric Fiselier #include "__cxxabi_config.h" 15280ddee8SMarshall Clow 16280ddee8SMarshall Clow #include <exception> // for std::terminate 17c4225e12SEric Fiselier #include <new> // for std::bad_alloc 18c4225e12SEric Fiselier 19c4225e12SEric Fiselier #include "abort_message.h" 20280ddee8SMarshall Clow 21*f3246384SEric Fiselier #ifndef __has_builtin 22*f3246384SEric Fiselier #define __has_builtin(x) 0 23*f3246384SEric Fiselier #endif 24*f3246384SEric Fiselier 25280ddee8SMarshall Clow namespace __cxxabiv1 { 26280ddee8SMarshall Clow 275b2d125cSNick Lewycky #if 0 28280ddee8SMarshall Clow #pragma mark --Helper routines and classes -- 295b2d125cSNick Lewycky #endif 30280ddee8SMarshall Clow 31280ddee8SMarshall Clow namespace { 32280ddee8SMarshall Clow inline static size_t __get_element_count ( void *p ) { 33280ddee8SMarshall Clow return static_cast <size_t *> (p)[-1]; 34280ddee8SMarshall Clow } 35280ddee8SMarshall Clow 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 55280ddee8SMarshall Clow st_heap_block2 ( dealloc_f dealloc, void *ptr ) 56280ddee8SMarshall Clow : dealloc_ ( dealloc ), ptr_ ( ptr ), enabled_ ( true ) {} 57280ddee8SMarshall Clow ~st_heap_block2 () { if ( enabled_ ) dealloc_ ( ptr_ ) ; } 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 70280ddee8SMarshall Clow st_heap_block3 ( dealloc_f dealloc, void *ptr, size_t size ) 71280ddee8SMarshall Clow : dealloc_ ( dealloc ), ptr_ ( ptr ), size_ ( size ), enabled_ ( true ) {} 72280ddee8SMarshall Clow ~st_heap_block3 () { if ( enabled_ ) dealloc_ ( ptr_, size_ ) ; } 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 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 ) {} 89280ddee8SMarshall Clow ~st_cxa_cleanup () { 90280ddee8SMarshall Clow if ( enabled_ ) 91280ddee8SMarshall Clow __cxa_vec_cleanup ( ptr_, idx_, element_size_, destructor_ ); 92280ddee8SMarshall Clow } 93280ddee8SMarshall Clow 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: 106280ddee8SMarshall Clow st_terminate ( bool enabled = true ) : enabled_ ( enabled ) {} 107280ddee8SMarshall Clow ~st_terminate () { if ( enabled_ ) std::terminate (); } 108280ddee8SMarshall Clow void release () { enabled_ = false; } 109280ddee8SMarshall Clow private: 110280ddee8SMarshall Clow bool enabled_ ; 111280ddee8SMarshall Clow }; 112280ddee8SMarshall Clow } 113280ddee8SMarshall Clow 1145b2d125cSNick Lewycky #if 0 115280ddee8SMarshall Clow #pragma mark --Externally visible routines-- 1165b2d125cSNick Lewycky #endif 117280ddee8SMarshall Clow 118c4225e12SEric Fiselier namespace { 119c4225e12SEric Fiselier _LIBCXXABI_NORETURN 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 128*f3246384SEric Fiselier bool mul_overflow(size_t x, size_t y, size_t *res) { 129*f3246384SEric Fiselier #if (defined(_LIBCXXABI_COMPILER_CLANG) && __has_builtin(__builtin_mul_overflow)) \ 130*f3246384SEric Fiselier || defined(_LIBCXXABI_COMPILER_GCC) 131*f3246384SEric Fiselier return __builtin_mul_overflow(x, y, res); 132*f3246384SEric Fiselier #else 133*f3246384SEric Fiselier *res = x * y; 134*f3246384SEric Fiselier return x && ((*res / x) != y); 135*f3246384SEric Fiselier #endif 136*f3246384SEric Fiselier } 137*f3246384SEric Fiselier 138*f3246384SEric Fiselier bool add_overflow(size_t x, size_t y, size_t *res) { 139*f3246384SEric Fiselier #if (defined(_LIBCXXABI_COMPILER_CLANG) && __has_builtin(__builtin_add_overflow)) \ 140*f3246384SEric Fiselier || defined(_LIBCXXABI_COMPILER_GCC) 141*f3246384SEric Fiselier return __builtin_add_overflow(x, y, res); 142*f3246384SEric Fiselier #else 143*f3246384SEric Fiselier *res = x + y; 144*f3246384SEric Fiselier return *res < y; 145*f3246384SEric Fiselier #endif 146*f3246384SEric Fiselier } 147*f3246384SEric Fiselier 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) { 151*f3246384SEric Fiselier size_t element_heap_size; 152*f3246384SEric Fiselier if (mul_overflow(element_count, element_size, &element_heap_size)) 153c4225e12SEric Fiselier throw_bad_array_new_length(); 154c4225e12SEric Fiselier 155*f3246384SEric Fiselier size_t allocation_size; 156*f3246384SEric 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 * 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 * 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 * 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 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 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. 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. 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. 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 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 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