Function find_path_recursive

src/detector/memory/invalid_free.rs:340–365

(
    u: BasicBlock,
    d: BasicBlock,
    body: &Body<'_>,
    path: &mut Vec<BasicBlock>,
    visited: &mut BitSet<BasicBlock>,
    paths: &mut Vec<Vec<BasicBlock>>,
)

}

fn find_path_recursive(
    u: BasicBlock,
    d: BasicBlock,
    body: &Body<'_>,
    path: &mut Vec<BasicBlock>,
    visited: &mut BitSet<BasicBlock>,
    paths: &mut Vec<Vec<BasicBlock>>,
) {
    visited.insert(u);
    path.push(u);
    if u == d {
        // output
        paths.push(path.clone());
    } else {
        let data = &body[u];
        if let Some(ref term) = data.terminator {
            for succ in term.successors() {
                if !visited.contains(succ) {
                    find_path_recursive(succ, d, body, path, visited, paths);
                }
            }
        }
    }
    path.pop();
    visited.remove(u);
}