Method handle_path_join

src/analysis/dfa.rs:470–499

(
        &mut self,
        block: &CFGBlock,
        store_mgr: &mut StoreMgr<T>,
        merge: &F,
    )

    }

    fn handle_path_join<T: SymbolData, F: Fn(Vec<Symbol<T>>) -> Symbol<T>>(
        &mut self,
        block: &CFGBlock,
        store_mgr: &mut StoreMgr<T>,
        merge: &F,
    ) -> Result<()> {
        if block.is_entry() {
            return Ok(());
        }
        let predecessors = self.cfg.get_predecessors(block);
        let should_join = predecessors.len() > 1;
        if should_join {
            let mut path_vec = vec![];
            for predecessor in predecessors {
                let path_id = self.cfg.get_edge_weight(&predecessor, block).unwrap();
                path_vec.push(*path_id);
            }
            log::trace!(
                "block: {} meet path join with: {path_vec:?}.",
                block.get_ident()
            );
            store_mgr.path_join(path_vec, merge)?;
        } else {
            let only_predecessor = &predecessors[0];
            let path_id = self.cfg.get_edge_weight(only_predecessor, block).unwrap();
            store_mgr.swith_to_path(*path_id);
            log::trace!("block: {} set path to {path_id}.", block.get_ident());
        }
        Ok(())
    }
}

#[derive(Default)]