Ticket #386: pool.patch

boost/pool/simple_segregated_storage.hpp

@@ -147 +147 @@
     void free_n(void * const chunks, const size_type n,
         const size_type partition_size)
     {
-      add_block(chunks, n * partition_size, partition_size);
+      if(n != 0)
+        add_block(chunks, n * partition_size, partition_size);
     }
 
     // pre: chunks was previously allocated from *this with the same
@@ -156 +157 @@
     void ordered_free_n(void * const chunks, const size_type n,
         const size_type partition_size)
     {
-      add_ordered_block(chunks, n * partition_size, partition_size);
+      if(n != 0)
+        add_ordered_block(chunks, n * partition_size, partition_size);
     }
 };
 
@@ -247 +249 @@
 void * simple_segregated_storage<SizeType>::malloc_n(const size_type n,
     const size_type partition_size)
 {
+  if(n == 0)
+    return 0;
   void * start = &first;
   void * iter;
   do

libs/pool/test/test_pool_alloc.cpp

@@ -215 +215 @@
   //  clean up memory leak
   tmp->~tester();
   boost::pool_allocator<tester>::deallocate(tmp, 1);
+
+  // test allocating zero elements
+  {
+      boost::pool_allocator<tester> alloc;
+      tester* ip = alloc.allocate(0);
+      alloc.deallocate(ip, 0);
+  }
 }
 
 // This is a wrapper around a UserAllocator.  It just registers alloc/dealloc