Skip to main content

rvalue_has_hazard_local_base

rapx::verify::alias_hazard

Function rvalue_has_hazard_local_base 

Source 
fn rvalue_has_hazard_local_base(
    rvalue: &Rvalue<'_>,
    hazard_locals: &HashSet<Local>,
) -> bool