extract_summary

rapx::analysis::core::alias_analysis::mfp::interproc

Function extract_summary 

Source 
pub fn extract_summary<'tcx>(
    results: &mut ResultsCursor<'_, 'tcx, FnAliasAnalyzer<'tcx>>,
    body: &Body<'tcx>,
    _def_id: DefId,
) -> FnAliasPairs
Expand description

Extract function summary from analysis results

This function uses transitive closure to identify all aliases related to function parameters and return values, including those connected through temporary variables.