Jakub Dorňák 44a4c48
Index: boost/pool/pool.hpp
Jakub Dorňák 44a4c48
===================================================================
Jakub Dorňák 44a4c48
--- boost/pool/pool.hpp	(revision 78317)
Jakub Dorňák 44a4c48
+++ boost/pool/pool.hpp	(revision 78326)
Jakub Dorňák 44a4c48
@@ -27,4 +27,6 @@
Jakub Dorňák 44a4c48
 #include <boost/pool/poolfwd.hpp>
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
+// std::numeric_limits
Jakub Dorňák 44a4c48
+#include <boost/limits.hpp>
Jakub Dorňák 44a4c48
 // boost::integer::static_lcm
Jakub Dorňák 44a4c48
 #include <boost/integer/common_factor_ct.hpp>
Jakub Dorňák 44a4c48
@@ -358,4 +360,11 @@
Jakub Dorňák 44a4c48
     }
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
+    size_type max_chunks() const
Jakub Dorňák 44a4c48
+    { //! Calculated maximum number of memory chunks that can be allocated in a single call by this Pool.
Jakub Dorňák 44a4c48
+      size_type partition_size = alloc_size();
Jakub Dorňák 44a4c48
+      size_type POD_size = integer::static_lcm<sizeof(size_type), sizeof(void *)>::value + sizeof(size_type);
Jakub Dorňák 44a4c48
+      return (std::numeric_limits<size_type>::max() - POD_size) / alloc_size();
Jakub Dorňák 44a4c48
+    }
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
     static void * & nextof(void * const ptr)
Jakub Dorňák 44a4c48
     { //! \returns Pointer dereferenced.
Jakub Dorňák 44a4c48
@@ -377,5 +388,7 @@
Jakub Dorňák 44a4c48
       //!   the first time that object needs to allocate system memory.
Jakub Dorňák 44a4c48
       //!   The default is 32. This parameter may not be 0.
Jakub Dorňák 44a4c48
-      //! \param nmax_size is the maximum number of chunks to allocate in one block.
Jakub Dorňák 44a4c48
+      //! \param nmax_size is the maximum number of chunks to allocate in one block.			
Jakub Dorňák 44a4c48
+      set_next_size(nnext_size);
Jakub Dorňák 44a4c48
+      set_max_size(nmax_size);
Jakub Dorňák 44a4c48
     }
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
@@ -400,7 +413,7 @@
Jakub Dorňák 44a4c48
     }
Jakub Dorňák 44a4c48
     void set_next_size(const size_type nnext_size)
Jakub Dorňák 44a4c48
-    { //! Set number of chunks to request from the system the next time that object needs to allocate system memory. This value should never be set to 0.
Jakub Dorňák 44a4c48
-      //! \returns nnext_size.
Jakub Dorňák 44a4c48
-      next_size = start_size = nnext_size;
Jakub Dorňák 44a4c48
+    { //! Set number of chunks to request from the system the next time that object needs to allocate system memory. This value should never be set to 0.     
Jakub Dorňák 44a4c48
+      BOOST_USING_STD_MIN();
Jakub Dorňák 44a4c48
+      next_size = start_size = min BOOST_PREVENT_MACRO_SUBSTITUTION(nnext_size, max_chunks());
Jakub Dorňák 44a4c48
     }
Jakub Dorňák 44a4c48
     size_type get_max_size() const
Jakub Dorňák 44a4c48
@@ -410,5 +423,6 @@
Jakub Dorňák 44a4c48
     void set_max_size(const size_type nmax_size)
Jakub Dorňák 44a4c48
     { //! Set max_size.
Jakub Dorňák 44a4c48
-      max_size = nmax_size;
Jakub Dorňák 44a4c48
+      BOOST_USING_STD_MIN();
Jakub Dorňák 44a4c48
+      max_size = min BOOST_PREVENT_MACRO_SUBSTITUTION(nmax_size, max_chunks());
Jakub Dorňák 44a4c48
     }
Jakub Dorňák 44a4c48
     size_type get_requested_size() const
Jakub Dorňák 44a4c48
@@ -713,7 +727,7 @@
Jakub Dorňák 44a4c48
   BOOST_USING_STD_MIN();
Jakub Dorňák 44a4c48
   if(!max_size)
Jakub Dorňák 44a4c48
-    next_size <<= 1;
Jakub Dorňák 44a4c48
+    set_next_size(next_size << 1);
Jakub Dorňák 44a4c48
   else if( next_size*partition_size/requested_size < max_size)
Jakub Dorňák 44a4c48
-    next_size = min BOOST_PREVENT_MACRO_SUBSTITUTION(next_size << 1, max_size*requested_size/ partition_size);
Jakub Dorňák 44a4c48
+    set_next_size(min BOOST_PREVENT_MACRO_SUBSTITUTION(next_size << 1, max_size * requested_size / partition_size));
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
   //  initialize it,
Jakub Dorňák 44a4c48
@@ -753,7 +767,7 @@
Jakub Dorňák 44a4c48
   BOOST_USING_STD_MIN();
Jakub Dorňák 44a4c48
   if(!max_size)
Jakub Dorňák 44a4c48
-    next_size <<= 1;
Jakub Dorňák 44a4c48
+    set_next_size(next_size << 1);
Jakub Dorňák 44a4c48
   else if( next_size*partition_size/requested_size < max_size)
Jakub Dorňák 44a4c48
-    next_size = min BOOST_PREVENT_MACRO_SUBSTITUTION(next_size << 1, max_size*requested_size/ partition_size);
Jakub Dorňák 44a4c48
+    set_next_size(min BOOST_PREVENT_MACRO_SUBSTITUTION(next_size << 1, max_size * requested_size / partition_size));
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
   //  initialize it,
Jakub Dorňák 44a4c48
@@ -797,4 +811,6 @@
Jakub Dorňák 44a4c48
   //! \returns Address of chunk n if allocated ok.
Jakub Dorňák 44a4c48
   //! \returns 0 if not enough memory for n chunks.
Jakub Dorňák 44a4c48
+  if (n > max_chunks())
Jakub Dorňák 44a4c48
+    return 0;
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
   const size_type partition_size = alloc_size();
Jakub Dorňák 44a4c48
@@ -845,7 +861,7 @@
Jakub Dorňák 44a4c48
   BOOST_USING_STD_MIN();
Jakub Dorňák 44a4c48
   if(!max_size)
Jakub Dorňák 44a4c48
-    next_size <<= 1;
Jakub Dorňák 44a4c48
+    set_next_size(next_size << 1);
Jakub Dorňák 44a4c48
   else if( next_size*partition_size/requested_size < max_size)
Jakub Dorňák 44a4c48
-    next_size = min BOOST_PREVENT_MACRO_SUBSTITUTION(next_size << 1, max_size*requested_size/ partition_size);
Jakub Dorňák 44a4c48
+    set_next_size(min BOOST_PREVENT_MACRO_SUBSTITUTION(next_size << 1, max_size * requested_size / partition_size));
Jakub Dorňák 44a4c48
 
Jakub Dorňák 44a4c48
   //  insert it into the list,
Jakub Dorňák 44a4c48
Index: libs/pool/test/test_bug_6701.cpp
Jakub Dorňák 44a4c48
===================================================================
Jakub Dorňák 44a4c48
--- libs/pool/test/test_bug_6701.cpp	(revision 78326)
Jakub Dorňák 44a4c48
+++ libs/pool/test/test_bug_6701.cpp	(revision 78326)
Jakub Dorňák 44a4c48
@@ -0,0 +1,27 @@
Jakub Dorňák 44a4c48
+/* Copyright (C) 2012 √Čtienne Dupuis
Jakub Dorňák 44a4c48
+* 
Jakub Dorňák 44a4c48
+* Use, modification and distribution is subject to the 
Jakub Dorňák 44a4c48
+* Boost Software License, Version 1.0. (See accompanying
Jakub Dorňák 44a4c48
+* file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
Jakub Dorňák 44a4c48
+*/
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
+// Test of bug #6701 (https://svn.boost.org/trac/boost/ticket/6701)
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
+#include <boost/pool/object_pool.hpp>
Jakub Dorňák 44a4c48
+#include <boost/limits.hpp>
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
+int main()
Jakub Dorňák 44a4c48
+{
Jakub Dorňák 44a4c48
+  boost::pool<> p(1024, std::numeric_limits<size_t>::max() / 768);
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
+  void *x = p.malloc();
Jakub Dorňák 44a4c48
+  BOOST_ASSERT(!x);
Jakub Dorňák 44a4c48
+  
Jakub Dorňák 44a4c48
+  BOOST_ASSERT(std::numeric_limits<size_t>::max() / 1024 >= p.get_next_size());
Jakub Dorňák 44a4c48
+  BOOST_ASSERT(std::numeric_limits<size_t>::max() / 1024 >= p.get_max_size());
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
+  void *y = p.ordered_malloc(std::numeric_limits<size_t>::max() / 768);
Jakub Dorňák 44a4c48
+  BOOST_ASSERT(!y);
Jakub Dorňák 44a4c48
+
Jakub Dorňák 44a4c48
+  return 0;
Jakub Dorňák 44a4c48
+}