Function diagnose_doublelock

src/detector/lock/mod.rs:717–725

Generate doublelock diagnosis.

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

    if lockguards[a].span == lockguards[b].span {
        return (DeadlockPossibility::Unlikely, NotDeadlockReason::SameSpan);
    }
    let possibility = match a_ty.deadlock_with(b_ty) {
        DeadlockPossibility::Probably => match alias_analysis.alias((*a).into(), (*b).into()) {
            ApproximateAliasKind::Probably => DeadlockPossibility::Probably,
            ApproximateAliasKind::Possibly => DeadlockPossibility::Possibly,
            ApproximateAliasKind::Unlikely => DeadlockPossibility::Unlikely,
            ApproximateAliasKind::Unknown => DeadlockPossibility::Unknown,
        },
        DeadlockPossibility::Possibly => match alias_analysis.alias((*a).into(), (*b).into()) {
            ApproximateAliasKind::Probably => DeadlockPossibility::Possibly,
            ApproximateAliasKind::Possibly => DeadlockPossibility::Possibly,
            ApproximateAliasKind::Unlikely => DeadlockPossibility::Unlikely,