1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // test sized operator delete[] replacement. 11 12 // UNSUPPORTED: sanitizer-new-delete, c++98, c++03, c++11 13 14 // NOTE: Clang does not enable sized-deallocation in c++14 and beyond by 15 // default. It is only enabled when -fsized-deallocation is given. 16 // (except clang-3.6 which temporarily enabled sized-deallocation) 17 // UNSUPPORTED: clang, apple-clang 18 19 // NOTE: GCC 4.9.1 does not support sized-deallocation in c++14. However 20 // GCC 5.1 does. 21 // XFAIL: gcc-4.7, gcc-4.8, gcc-4.9 22 23 #include <new> 24 #include <cstddef> 25 #include <cstdlib> 26 #include <cassert> 27 28 #include "test_macros.h" 29 30 int unsized_delete_called = 0; 31 int unsized_delete_nothrow_called = 0; 32 int sized_delete_called = 0; 33 34 void operator delete[](void* p) TEST_NOEXCEPT 35 { 36 ++unsized_delete_called; 37 std::free(p); 38 } 39 40 void operator delete[](void* p, const std::nothrow_t&) TEST_NOEXCEPT 41 { 42 ++unsized_delete_nothrow_called; 43 std::free(p); 44 } 45 46 void operator delete[](void* p, std::size_t) TEST_NOEXCEPT 47 { 48 ++sized_delete_called; 49 std::free(p); 50 } 51 52 // NOTE: Use a class with a non-trivial destructor as the test type in order 53 // to ensure the correct overload is called. 54 // C++14 5.3.5 [expr.delete]p10 55 // - If the type is complete and if, for the second alternative (delete array) 56 // only, the operand is a pointer to a class type with a non-trivial 57 // destructor or a (possibly multi-dimensional) array thereof, the function 58 // with two parameters is selected. 59 // - Otherwise, it is unspecified which of the two deallocation functions is 60 // selected. 61 struct A { ~A() {} }; 62 63 int main() 64 { 65 A* x = new A[3]; 66 assert(0 == unsized_delete_called); 67 assert(0 == unsized_delete_nothrow_called); 68 assert(0 == sized_delete_called); 69 70 delete [] x; 71 assert(0 == unsized_delete_called); 72 assert(0 == unsized_delete_nothrow_called); 73 assert(1 == sized_delete_called); 74 } 75