Function veriwasm::analyses::reaching_defs::analyze_reaching_defs

pub fn analyze_reaching_defs(
    cfg: &VW_CFG, 
    irmap: &IRMap, 
    _metadata: VwMetadata
) -> AnalysisResult<ReachLattice>