Fixes BOOST_POOL_VALGRIND code

jbherdman · jbherdman · commit 324c7ea15952 · 2022-07-07T14:17:32.000-04:00
This fixes an error that occurs when the user-allocator returns NULL.
diff --git a/include/boost/pool/pool.hpp b/include/boost/pool/pool.hpp
@@ -969,6 +969,8 @@ class pool
      if(free_list.empty())
      {
         ret = (user_allocator::malloc)(chunk_size);
+        if ( ret == 0 )
+           return ret;
         VALGRIND_MAKE_MEM_UNDEFINED(ret, chunk_size);
      }
      else

Original file line number	Diff line number	Diff line change
`@@ -969,6 +969,8 @@ class pool`
`969`	`969`	`if(free_list.empty())`
`970`	`970`	`{`
`971`	`971`	`ret = (user_allocator::malloc)(chunk_size);`
	`972`	`+ if ( ret == 0 )`
	`973`	`+ return ret;`
`972`	`974`	`VALGRIND_MAKE_MEM_UNDEFINED(ret, chunk_size);`
`973`	`975`	`}`
`974`	`976`	`else`