Home | History | Annotate | Download | only in new.delete.single
      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 // UNSUPPORTED: c++98, c++03, c++11, c++14
     11 
     12 // XFAIL: with_system_cxx_lib=macosx10.12
     13 // XFAIL: with_system_cxx_lib=macosx10.11
     14 // XFAIL: with_system_cxx_lib=macosx10.10
     15 // XFAIL: with_system_cxx_lib=macosx10.9
     16 // XFAIL: with_system_cxx_lib=macosx10.7
     17 // XFAIL: with_system_cxx_lib=macosx10.8
     18 
     19 // asan and msan will not call the new handler.
     20 // UNSUPPORTED: sanitizer-new-delete
     21 
     22 // FIXME turn this into an XFAIL
     23 // UNSUPPORTED: no-aligned-allocation && !gcc
     24 
     25 // On Windows libc++ doesn't provide its own definitions for new/delete
     26 // but instead depends on the ones in VCRuntime. However VCRuntime does not
     27 // yet provide aligned new/delete definitions so this test fails to compile/link.
     28 // XFAIL: LIBCXX-WINDOWS-FIXME
     29 
     30 // test operator new (nothrow)
     31 
     32 #include <new>
     33 #include <cstddef>
     34 #include <cstdint>
     35 #include <cassert>
     36 #include <limits>
     37 
     38 #include "test_macros.h"
     39 
     40 constexpr auto OverAligned = alignof(std::max_align_t) * 2;
     41 
     42 int new_handler_called = 0;
     43 
     44 void my_new_handler()
     45 {
     46     ++new_handler_called;
     47     std::set_new_handler(0);
     48 }
     49 
     50 bool A_constructed = false;
     51 
     52 struct alignas(OverAligned) A
     53 {
     54     A() {A_constructed = true;}
     55     ~A() {A_constructed = false;}
     56 };
     57 
     58 void test_max_alloc() {
     59     std::set_new_handler(my_new_handler);
     60     auto do_test = []() {
     61         void* vp = operator new (std::numeric_limits<std::size_t>::max(),
     62                                  std::align_val_t(OverAligned),
     63                                  std::nothrow);
     64         assert(new_handler_called == 1);
     65         assert(vp == 0);
     66     };
     67 #ifndef TEST_HAS_NO_EXCEPTIONS
     68     try
     69     {
     70         do_test();
     71     }
     72     catch (...)
     73     {
     74         assert(false);
     75     }
     76 #else
     77     do_test();
     78 #endif
     79 }
     80 
     81 int main()
     82 {
     83     {
     84         A* ap = new(std::nothrow) A;
     85         assert(ap);
     86         assert(reinterpret_cast<std::uintptr_t>(ap) % OverAligned == 0);
     87         assert(A_constructed);
     88         delete ap;
     89         assert(!A_constructed);
     90     }
     91     {
     92         test_max_alloc();
     93     }
     94 }
     95