[Boost-bugs] [Boost C++ Libraries] #6561: pool.free() crashes if given a null pointer

Subject: [Boost-bugs] [Boost C++ Libraries] #6561: pool.free() crashes if given a null pointer
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2012-02-15 15:02:27

#6561: pool.free() crashes if given a null pointer
-------------------------------------------------+--------------------------
 Reporter:  Étienne Dupuis <e.dupuis@…>          |        Type:  Feature Requests
   Status:  new                                  |   Milestone:  To Be Determined
Component:  None                                 |     Version:  Boost 1.47.0    
 Severity:  Problem                              |    Keywords:                  
-------------------------------------------------+--------------------------
 The documentation states that the pointer given to pool.free() should be a
 pointer returned by pool.malloc().

 However, if pool.malloc() fails and return a null value, calling
 pool.free() with the returned value does crash...

 It would be nice if pool.free() did not crash given a null pointer.

 Example crash :
 {{{
 pool.free(pool.malloc());
 }}}

 Regards

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/6561>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.