Skip to main content

place_is_raw_access_to_origin

rapx::verify::alias_hazard

Function place_is_raw_access_to_origin 

Source 
fn place_is_raw_access_to_origin(
    place: &Place<'_>,
    origin: &PlaceKey,
    aliases: &HashMap<Local, PlaceKey>,
    local_decls: &LocalDecls<'_>,
) -> bool