diff -r 510d5bd079ad boost/pool/pool_alloc.hpp
a
|
b
|
|
14 | 14 | // new, std::bad_alloc |
15 | 15 | #include <new> |
16 | 16 | |
| 17 | #include <boost/throw_exception.hpp> |
17 | 18 | #include <boost/pool/poolfwd.hpp> |
18 | 19 | |
19 | 20 | // boost::singleton_pool |
… |
… |
|
95 | 96 | singleton_pool<pool_allocator_tag, sizeof(T), UserAllocator, Mutex, |
96 | 97 | NextSize>::ordered_malloc(n) ); |
97 | 98 | if (ret == 0) |
98 | | throw std::bad_alloc(); |
| 99 | boost::throw_exception(std::bad_alloc()); |
99 | 100 | return ret; |
100 | 101 | } |
101 | 102 | static pointer allocate(const size_type n, const void * const) |
… |
… |
|
182 | 183 | singleton_pool<fast_pool_allocator_tag, sizeof(T), |
183 | 184 | UserAllocator, Mutex, NextSize>::ordered_malloc(n) ); |
184 | 185 | if (ret == 0) |
185 | | throw std::bad_alloc(); |
| 186 | boost::throw_exception(std::bad_alloc()); |
186 | 187 | return ret; |
187 | 188 | } |
188 | 189 | static pointer allocate(const size_type n, const void * const) |
… |
… |
|
193 | 194 | singleton_pool<fast_pool_allocator_tag, sizeof(T), |
194 | 195 | UserAllocator, Mutex, NextSize>::malloc() ); |
195 | 196 | if (ret == 0) |
196 | | throw std::bad_alloc(); |
| 197 | boost::throw_exception(std::bad_alloc()); |
197 | 198 | return ret; |
198 | 199 | } |
199 | 200 | static void deallocate(const pointer ptr, const size_type n) |