collect_statement_uses

rapx::verify::slicer::visitor

Function collect_statement_uses 

Source 
fn collect_statement_uses<'tcx>(
    statement: &'tcx Statement<'tcx>,
    block: BasicBlock,
    statement_index: usize,
    flow: &DataflowGraph,
) -> RelevantPlaces
Expand description

Collect all place-uses for a statement from dataflow edges and operands.