71 inline array_cookie& cookie_of(void* user_array)  in cookie_of()  argument
73     return reinterpret_cast<array_cookie*>(user_array)[-1];  in cookie_of()
78 inline size_t& element_size_of(void* user_array)  in element_size_of()  argument
80     return cookie_of(user_array).element_size;  in element_size_of()
85 inline size_t& element_count_of(void* user_array)  in element_count_of()  argument
87     return cookie_of(user_array).element_count;  in element_count_of()
96 extern "C" void* __aeabi_vec_ctor_nocookie_nodtor(void* user_array,
108 extern "C" void __aeabi_vec_delete3_nodtor(void* user_array, void (*dealloc)(void*, size_t));
109 extern "C" void __aeabi_vec_delete3(void* user_array, void* (*destructor)(void*),
111 extern "C" void __aeabi_vec_delete(void* user_array, void* (*destructor)(void*));
112 extern "C" void* __aeabi_vec_dtor_cookie(void* user_array, void* (*destructor)(void*));
113 extern "C" void* __aeabi_vec_dtor(void* user_array,
125 extern "C" void* __aeabi_vec_ctor_nocookie_nodtor(void* user_array,  in __aeabi_vec_ctor_nocookie_nodtor()  argument
130         uintptr_t addr = reinterpret_cast<uintptr_t>(user_array);  in __aeabi_vec_ctor_nocookie_nodtor()
135     return user_array;  in __aeabi_vec_ctor_nocookie_nodtor()
208 extern "C" void* __aeabi_vec_dtor(void* user_array,  in __aeabi_vec_dtor()  argument
212     uintptr_t addr = reinterpret_cast<uintptr_t>(user_array);  in __aeabi_vec_dtor()
216     return &cookie_of(user_array);  in __aeabi_vec_dtor()
228 extern "C" void* __aeabi_vec_dtor_cookie(void* user_array, void* (*destructor)(void*))  in __aeabi_vec_dtor_cookie()  argument
230     return user_array == nullptr ? nullptr :  in __aeabi_vec_dtor_cookie()
231                          __aeabi_vec_dtor(user_array, destructor,  in __aeabi_vec_dtor_cookie()
232                                           element_size_of(user_array),  in __aeabi_vec_dtor_cookie()
233                                           element_count_of(user_array));  in __aeabi_vec_dtor_cookie()
236 extern "C" void __aeabi_vec_delete(void* user_array, void* (*destructor)(void*))  in __aeabi_vec_delete()  argument
238     ::operator delete[](__aeabi_vec_dtor_cookie(user_array, destructor));  in __aeabi_vec_delete()
241 extern "C" void __aeabi_vec_delete3(void* user_array, void* (*destructor)(void*), void (*dealloc)(v…  in __aeabi_vec_delete3()  argument
243     if (user_array != NULL) {  in __aeabi_vec_delete3()
244         size_t size = element_size_of(user_array) * element_count_of(user_array) + cookie_size;  in __aeabi_vec_delete3()
245         void *array_cookie = __aeabi_vec_dtor_cookie(user_array, destructor);  in __aeabi_vec_delete3()
250 extern "C" void __aeabi_vec_delete3_nodtor(void* user_array, void (*dealloc)(void*, size_t))  in __aeabi_vec_delete3_nodtor()  argument
252     if (user_array != NULL) {  in __aeabi_vec_delete3_nodtor()
253         size_t size = element_size_of(user_array) * element_count_of(user_array) + cookie_size;  in __aeabi_vec_delete3_nodtor()
254         (*dealloc)(&cookie_of(user_array), size);  in __aeabi_vec_delete3_nodtor()