Function point_to_same_constant

src/analysis/pointsto/mod.rs:1071–1082

Check if p1 and p2 point to the same Constant. Return true if exists a1 in pts(p1) and a1 is Constant(c1) and exists a2 in pts(p2) and a2 is Constant(c2) and c1 = c2

(
    pts1: &FxHashSet<ConstraintNode<'tcx>>,
    pts2: &FxHashSet<ConstraintNode<'tcx>>,
)

    pts1: &FxHashSet<ConstraintNode<'tcx>>,
    pts2: &FxHashSet<ConstraintNode<'tcx>>,
) -> bool {
    let mut constants1 = pts1
        .iter()
        .filter(|node| matches!(node, &ConstraintNode::ConstantDeref(_)));
    let mut constants2 = pts2
        .iter()
        .filter(|node| matches!(node, &ConstraintNode::ConstantDeref(_)));
    constants1.any(|c1| constants2.any(|c2| c2 == c1))
}

/// Check if `local` is a parameter
#[inline]
fn is_parameter(local: Local, body: &Body<'_>) -> bool {
    body.args_iter().any(|arg| arg == local)
}