id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc 13151,Graph dominiator tree considers unvisited vertices,scott.gregory.west@…,Jeremiah Willcock,"The graph dominator tree will consider vertices that are not reachable from the given root. The unreachable check is implemented checking ""dfnum < 0 || dfnum >= 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. Simple fix could be: https://github.com/boostorg/graph/pull/97",Bugs,new,To Be Determined,graph,Boost 1.64.0,Problem,,,