Function visible_chain_reaches

atomic-core/src/output/alive/retrieve/mod.rs:570–616

(
    txn: &T,
    options: &RetrieveOptions,
    start: GraphNode<NodeId>,
    target: GraphNode<NodeId>,
)

}

fn visible_chain_reaches<T: GraphTxnT>(
    txn: &T,
    options: &RetrieveOptions,
    start: GraphNode<NodeId>,
    target: GraphNode<NodeId>,
) -> bool {
    if start == target {
        return true;
    }

    let mut stack = vec![start];
    let mut seen = std::collections::HashSet::new();

    while let Some(current) = stack.pop() {
        if !seen.insert(current) {
            continue;
        }

        let edges = match txn.iter_forward(current, true) {
            Ok(edges) => edges,
            Err(_) => continue,
        };

        for edge in edges {
            if edge.kind.is_pseudo() {
                continue;
            }

            let next = match txn.find_block(edge.dest) {
                Ok(next) => next,
                Err(_) => continue,
            };

            if !options.passes_filter(next.change) {
                continue;
            }

            if next == target {
                return true;
            }

            stack.push(next);
        }
    }

    false
}

fn alive_graph_reaches(graph: &AliveGraph, from: VertexId, target: VertexId) -> bool {
    if from == target {