Function dest_args0

src/detector/memory/mod.rs:20–35

Find dest and the first arg of a Call

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

/// Find dest and the first arg of a Call
fn dest_args0<'tcx>(
    body: &Body<'tcx>,
    loc: Location,
) -> Option<(Place<'tcx>, Option<Place<'tcx>>)> {
    if let TerminatorKind::Call {
        func: _func,
        args,
        destination,
        ..
    } = &body[loc.block].terminator().kind
    {
        let args0 = args.first().and_then(|op| op.node.place());
        return Some((*destination, args0));
    }
    None
}
/// std::mem::drop(place);
fn collect_manual_drop<'tcx>(
    callgraph: &CallGraph<'tcx>,