flux_refineck::ghost_statements::points_to

Function excluded_locals

Source
fn excluded_locals(body: &Body<'_>) -> BitSet<Local>
Expand description

Returns all locals with projections that have their reference or address taken.