Function diagnose_one_relation

src/detector/lock/mod.rs:765–790

Find the diagnosis info for relation(a, b), including a's ty & span, b's ty & span, and callchains.

(
    a: &LockGuardId,
    b: &LockGuardId,
    lockguards: &LockGuardMap<'tcx>,
    callgraph: &CallGraph<'tcx>,
    tcx: TyCtxt<'tcx>,
)

                    let (caller, callee) = (window[0], window[1]);
                    let caller_instance = match callgraph.index_to_instance(caller).unwrap() {
                        CallGraphNode::WithBody(instance) => instance,
                        n => panic!("CallGraphNode {:?} must own body", n),
                    };
                    let caller_body = tcx.instance_mir(caller_instance.def);
                    let callsites = callgraph.callsites(caller, callee).unwrap();
                    callsites
                        .into_iter()
                        .filter_map(|location| {
                            location
                                .location()
                                .map(|loc| format!("{:?}", caller_body.source_info(loc).span))
                        })
                        .collect::<Vec<_>>()
                })
                .collect::<Vec<_>>()
        })
        .collect::<Vec<_>>()
}

// Find the diagnosis info for relation(a, b), including a's ty & span, b's ty & span, and callchains.
fn diagnose_one_relation<'tcx>(
    a: &LockGuardId,
    b: &LockGuardId,
    lockguards: &LockGuardMap<'tcx>,
    callgraph: &CallGraph<'tcx>,
    tcx: TyCtxt<'tcx>,
) -> DeadlockDiagnosis {
    let a_info = &lockguards[a];
    let b_info = &lockguards[b];