Skip to main content

rvalue_reads_any_origin

rapx::verify::alias_hazard

Function rvalue_reads_any_origin 

Source 
fn rvalue_reads_any_origin(
    rvalue: &Rvalue<'_>,
    origins: &[PlaceKey],
    aliases: &HashMap<Local, PlaceKey>,
    local_decls: &LocalDecls<'_>,
) -> bool