1 #include <new>
2
3 extern "C" void free (void *);
4
5 void
operator delete(void * ptr,const std::nothrow_t &)6 operator delete (void *ptr, const std::nothrow_t&) throw ()
7 {
8 if (ptr)
9 free (ptr);
10 }
11
12 void
operator delete(void * ptr)13 operator delete (void *ptr) throw ()
14 {
15 if (ptr)
16 free (ptr);
17 }
18
19 void
operator delete[](void * ptr)20 operator delete[] (void *ptr) throw ()
21 {
22 ::operator delete (ptr);
23 }
24
25 void
operator delete[](void * ptr,const std::nothrow_t &)26 operator delete[] (void *ptr, const std::nothrow_t&) throw ()
27 {
28 ::operator delete (ptr);
29 }
30