Boost C++ Libraries: Ticket #13151: Graph dominiator tree considers unvisited vertices https://svn.boost.org/trac10/ticket/13151 <table class="wiki"> <tr>The graph dominator tree will consider vertices that are not reachable from the given root. The unreachable check is implemented checking "dfnum &lt; 0 <td> dfnum &gt;= numOfVertices", but the dfnum map is initialized to 0. So when nodes are really unvisited they will have a value of 0 and pass the check. </td></tr></table> <p> Simple fix could be: <a class="ext-link" href="https://github.com/boostorg/graph/pull/97"><span class="icon">​</span>https://github.com/boostorg/graph/pull/97</a> </p> en-us Boost C++ Libraries /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/13151 Trac 1.4.3