Mark all nodes as unreachable.

flow_build_dfst() marks a reacable node as such by setting the node's dfn
to a value >= 0.
This commit is contained in:
Bill Currie 2012-12-19 16:00:58 +09:00
parent 32556b7210
commit 9d35ca607f

View file

@ -1063,6 +1063,9 @@ flow_make_node (sblock_t *sblock, int id, function_t *func)
node->id = id;
node->sblock = sblock;
node->graph = func->graph;
// Mark the node as unreachable. flow_build_dfst() will mark reachable
// nodes with a value >= 0
node->dfn = -1;
return node;
}