alive_producer_from_destination

rapx::verify::smt_check::alive

Function alive_producer_from_destination 

Source 
fn alive_producer_from_destination<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    destination: Local,
) -> Option<AliveProducer>
Expand description

Classifies the borrowed view returned by the Alive-producing call destination.