Function first_two_args

src/detector/atomic/mod.rs:198–212

(
    location: Location,
    body: &Body<'tcx>,
)

fn first_two_args<'tcx>(
    location: Location,
    body: &Body<'tcx>,
) -> Option<(Place<'tcx>, Option<Place<'tcx>>)> {
    if let TerminatorKind::Call {
        func: _func, args, ..
    } = &body[location.block].terminator().kind
    {
        let place0 = args.first()?.node.place()?;
        let place1 = args.get(1).and_then(|arg1| arg1.node.place());
        Some((place0, place1))
    } else {
        None
    }
}

#[derive(PartialEq, Eq, Debug, Clone, Copy)]
enum DependenceKind {
    Control,