Function track_callchains

src/detector/lock/mod.rs:731–762

Find all the callchains: source -> target e.g., for one path: source --|callsites1|--> medium --|callsites2|--> target, first extract callsite locations on edge, namely, [callsites1, callsites2], then map locations to spans [spans1, spans2].

(
    source: InstanceId,
    target: InstanceId,
    callgraph: &CallGraph<'tcx>,
    tcx: TyCtxt<'tcx>,
)

            ApproximateAliasKind::Unknown => DeadlockPossibility::Unknown,
        },
        _ => DeadlockPossibility::Unlikely,
    };
    (possibility, NotDeadlockReason::TrueDeadlock)
}

/// Generate doublelock diagnosis.
fn diagnose_doublelock<'tcx>(
    a: &LockGuardId,
    b: &LockGuardId,
    lockguards: &LockGuardMap<'tcx>,
    callgraph: &CallGraph<'tcx>,
    tcx: TyCtxt<'tcx>,
) -> report::DeadlockDiagnosis {
    diagnose_one_relation(a, b, lockguards, callgraph, tcx)
}

/// Find all the callchains: source -> target
// e.g., for one path: source --|callsites1|--> medium --|callsites2|--> target,
// first extract callsite locations on edge, namely, [callsites1, callsites2],
// then map locations to spans [spans1, spans2].
fn track_callchains<'tcx>(
    source: InstanceId,
    target: InstanceId,
    callgraph: &CallGraph<'tcx>,
    tcx: TyCtxt<'tcx>,
) -> Vec<Vec<Vec<String>>> {
    let paths = callgraph.all_simple_paths(source, target);
    paths
        .into_iter()
        .map(|vec| {
            vec.windows(2)
                .map(|window| {
                    let (caller, callee) = (window[0], window[1]);
                    let caller_instance = match callgraph.index_to_instance(caller).unwrap() {
                        CallGraphNode::WithBody(instance) => instance,