Opened 5 years ago

#13151 new Bugs

Graph dominiator tree considers unvisited vertices

Reported by: scott.gregory.west@… Owned by: Jeremiah Willcock
Milestone: To Be Determined Component: graph
Version: Boost 1.64.0 Severity: Problem
Keywords: Cc:

Description

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

Change History (0)

Note: See TracTickets for help on using tickets.