Re: [Boost-bugs] [Boost C++ Libraries] #9493: labeled_graph may refer to and operate on released memory after removing a vertex by label

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #9493: labeled_graph may refer to and operate on released memory after removing a vertex by label
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2014-03-19 18:30:50

#9493: labeled_graph may refer to and operate on released memory after removing a
vertex by label
--------------------------------------------+----------------------
  Reporter:  Adam Romanek <romanek.adam@…>  |      Owner:  jewillco
      Type:  Bugs                           |     Status:  new
 Milestone:  To Be Determined               |  Component:  graph
   Version:  Boost 1.54.0                   |   Severity:  Problem
Resolution:                                 |   Keywords:
--------------------------------------------+----------------------

Comment (by fawques@…):

 Having this issue, the patch worked like a charm. Thanks

 Replying to [ticket:9493 Adam Romanek <romanek.adam@…>]:
 > Although `labeled_graph` is not officially part of BGL API some people
 try to use it.
 >
 > Unfortunately, the current implementation has a serious bug that might
 lead to a crash. The problem appears when removing a vertex from
 labeled_graph by its label. My investigation shown that despite of vertex
 being actually removed, the label is not and it still refers to the
 removed vertex.
 >
 > The problem is "easier" to reproduce when adjacency_list's VertexList is
 set to a container like boost::listS.
 >
 > The attached test case shows the problem.
 > I also attached the output from a valgrind run on the test case code and
 a patch that fixes the issue for the "configuration" that I use (a more
 generic fix will probably be needed).

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