Re: [Boost-bugs] [Boost C++ Libraries] #9940: bad bug in intrusive list with safe_link (or auto_unlink) hooks

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #9940: bad bug in intrusive list with safe_link (or auto_unlink) hooks
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2014-04-23 18:48:50

#9940: bad bug in intrusive list with safe_link (or auto_unlink) hooks
------------------------------------+--------------------------------------
  Reporter:  Matei David <matei@…>  |      Owner:  igaztanaga
      Type:  Bugs                   |     Status:  new
 Milestone:  To Be Determined       |  Component:  intrusive
   Version:  Boost 1.55.0           |   Severity:  Problem
Resolution:                         |   Keywords:  intrusive list safe_link
------------------------------------+--------------------------------------

Comment (by Matei David <matei@…>):

 Correction: "During destruction, the header is //destructed// (not
 //deallocated//) first".

 In practice, "chances are" the bug will be observed only if the value/node
 destructor is not trivial.

 In theory, the code triggers undefined behaviour the moment the destructor
 of `detail::clear_on_destructor_base` calls `Derived::clear()`, because
 data members of `Derived` (`list_impl` in this case) are already
 destructed at that point.

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