id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
9493,labeled_graph may refer to and operate on released memory after removing a vertex by label,Adam Romanek <romanek.adam@…>,Jeremiah Willcock,"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).",Bugs,new,To Be Determined,graph,Boost 1.54.0,Problem,,,